Семантический анализатор

A семантический аргумент, механизм рассуждений, механизм правил или просто механизм рассуждений - это часть программного обеспечения, способная делать логические выводы из набора утвержденных фактов или аксиомы. Понятие семантического аргумента обобщает понятие механизма вывода , обеспечивая более богатый набор механизмов для работы. Правила вывода обычно задаются с помощью языка онтологий и часто языка логики описания. Многие рассуждающие используют логику предикатов первого порядка для выполнения рассуждений; вывод обычно выполняется с помощью прямой цепочки и обратной цепочки. Существуют также примеры вероятностных логических схем, включая и вероятностные логические сети.

• 1 Известные приложения
  • 1.1 Бесплатное использование (закрытый исходный код)
  • 1.2 Бесплатное программное обеспечение (открытый исходный код)
  • 1.3 Приложения, содержащие средства рассуждений
  • 1.4 Semantic Reasoner для Интернета вещей (с открытым исходным кодом)
• 2 См. Также
• 3 Ссылки
• 4 Внешние ссылки

Известные семантические рассуждения и соответствующее программное обеспечение:

Бесплатное использование (закрытый исходный код)

• Cyc механизм логического вывода, механизм логического вывода с прямой и обратной цепочкой с многочисленными специализированными модулями для логики высокого порядка.
• KAON2 - это инфраструктура для управления онтологиями OWL-DL, SWRL и F-Logic.

Бесплатное программное обеспечение (с открытым исходным кодом)

• Cwm, модуль рассуждений с прямой цепью, используемый для запроса, проверки, преобразования и фильтрации информации. Его основным языком является RDF, расширенный для включения правил, и он использует сериализации RDF / XML или N3 по мере необходимости.
• Drools, механизм правил на основе вывода с прямой цепочкой, который использует расширенную реализацию Алгоритм Rete.
• Flora-2, объектно-ориентированная, основанная на правилах система представления знаний и рассуждений.
• Jena, фреймворк семантической сети с открытым исходным кодом для Java, который включает ряд различные модули семантического обоснования.
• Prova, механизм правил семантической паутины, который поддерживает интеграцию данных с помощью запросов SPARQL и систем типов (RDFS, онтологии OWL как системы типов).

Приложения, которые содержат логики

• Apache Marmotta включает в себя основанный на правилах механизм рассуждений в свой KiWi triple store.

.

Semantic Reasoner for Internet of Things (с открытым исходным кодом)

S-LOR (Sensor-based Linked Open Rules) семантический анализатор S-LOR находится под лицензией GNU GPLv3.

S-LOR (Связанные открытые правила на основе датчиков) - это основанный на правилах механизм рассуждений и подход к совместному использованию и повторному использованию интероперабельных правил для вывода значимых знаний из измерений датчиков.

• Портал программного обеспечения

• Механизм бизнес-правил
• Doxastic logic
• Экспертные системы
• Логическое программирование
• Метод аналитических таблиц
• Решатель

• OWL 2 Reasoners, перечисленные на домашней странице W3C SW Working Group
• SPARQL Query Language для RDF
• Марко Лютер, Торстен Либих, Себастьян Бём, Олаф Ноппенс: Кто, черт возьми, Отец Боба?. ESWC 2009: 66-80
• Юрген Бок, Питер Хаасе, Цю Джи, Рафаэль Фольц. Бенчмаркинг Reasoners OWL. В ARea2008 - Семинар по продвижению рассуждений в сети: масштабируемость и здравый смысл (июнь 2008 г.)
• Том Гардинер, Ян Хоррокс, Дмитрий Царьков. Автоматический сравнительный анализ основателей логики описания. Описание Logics Workshop 2006