Семантический рассуждающий , рассуждая двигатель , двигатель правил , или просто рассуждающий , является частью программного обеспечения , способного выводить логические следствия из множества заявленных фактов или аксиом . Понятие семантического аргумента обобщает понятие механизма вывода , предоставляя более богатый набор механизмов для работы. Эти правила вывода обычно определяется посредством языка онтологий , и часто описание логики языка. Многие авторы рассуждений используют логику предикатов первого порядка для выполнения рассуждений; вывод обычно осуществляетсяпрямая и обратная цепочки . Есть также примеры вероятностных рассуждений, в том числе без аксиоматических рассуждений систем , [1] и вероятностные логики сетей . [2]
Известные приложения [ править ]
Известные семантические рассуждения и соответствующее программное обеспечение:
Бесплатное использование (закрытый код) [ править ]
- Механизм циклического вывода, механизм вывода с прямой и обратной цепочкой с многочисленными специализированными модулями для логики высокого порядка.
- KAON2 - это инфраструктура для управления онтологиями OWL-DL , SWRL и F-Logic .
Бесплатное программное обеспечение (открытый исходный код) [ править ]
- Cwm , модуль рассуждений с прямой цепью, используемый для запроса, проверки, преобразования и фильтрации информации. Его базовым языком является RDF, расширенный за счет включения правил, и при необходимости он использует сериализации RDF / XML или N3.
- Drools , механизм правил на основе логического вывода с прямой цепочкой, который использует улучшенную реализацию алгоритма Rete .
- Evrete , механизм правил Java с прямой цепочкой, использующий алгоритм Rete и совместимый с API Java Rule Engine (JSR 94).
- Flora-2 , объектно-ориентированная, основанная на правилах система представления знаний и рассуждений.
- Jena , фреймворк семантической сети с открытым исходным кодом для Java, который включает ряд различных модулей семантического мышления.
- Prova , механизм правил семантической сети, который поддерживает интеграцию данных с помощью запросов SPARQL и систем типов (RDFS, онтологии OWL как системы типов).
Приложения, содержащие аргументы [ править ]
- Apache Marmotta включает в себя механизм рассуждений на основе правил в свое хранилище троек KiWi .
Semantic Reasoner for Internet of Things (открытый исходный код) [ править ]
Модуль семантических рассуждений S-LOR (связанные с датчиком открытые правила) S-LOR находится под лицензией GNU GPLv3.
S-LOR (Связанные открытые правила на основе датчиков) - это основанный на правилах механизм рассуждений и подход к совместному использованию и повторному использованию интероперабельных правил для вывода значимых знаний из измерений датчиков.
См. Также [ править ]
- Механизм бизнес-правил
- Доксастическая логика
- Экспертные системы
- Логическое программирование
- Метод аналитических таблиц
- Решатель
Ссылки [ править ]
- ^ Ван, Пей. «Основано на семантике опыта для интеллекта, Технический отчет 96» . www.cogsci.indiana.edu . CRCC . Проверено 13 апреля 2015 года .
- ^ Герцель, Бен; Икле, Мэтью; Гертцель, Изабела Фрейре; Heljakka, Ари (2008). Вероятностные логические сети: комплексная основа для неопределенного вывода . Springer Science & Business Media. п. 42. ISBN 9780387768724.
Внешние ссылки [ править ]
- OWL 2 Reasoners, перечисленные на домашней странице W3C SW Working Group
- Язык запросов SPARQL для RDF
- Марко Лютер, Торстен Либих, Себастьян Бём, Олаф Ноппенс: кто , черт возьми, отец Боба? . ESWC 2009: 66–80
- Юрген Бок, Питер Хаасе, Цю Цзи, Рафаэль Фольц. Бенчмаркинг OWL Reasoners [ постоянная мертвая ссылка ] . В ARea2008 - Семинар по продвижению рассуждений в Интернете: масштабируемость и здравый смысл (июнь 2008 г.)
- Том Гардинер, Ян Хоррокс, Дмитрий Царьков. Автоматизированный сравнительный анализ основателей логики описания . Описание Logics Workshop 2006