Семантический рассуждающий - Semantic reasoner

"Reasoner" перенаправляется сюда. Для использования в других целях, см Reasoner (значения) .

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

Известные приложения

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

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

  • Механизм циклического вывода, механизм вывода с прямой и обратной цепочкой с многочисленными специализированными модулями для логики высокого порядка.
  • 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 как системы типов).
  • DIP , Defeasible-Inference Platform (DIP) - это средство рассуждений на языке веб-онтологий и настольный плагин Protégé_ (программное обеспечение) для представления и обоснования с отклоняемым отнесением. Он реализует предпочтительный стиль рассуждений, который сводится к «классическому следствию», то есть без необходимости изменять лежащую в основе процедуру принятия решения.

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


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

Модуль семантических рассуждений S-LOR (связанные с датчиком открытые правила) S-LOR находится под лицензией GNU GPLv3.  

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

Смотрите также

использованная литература

внешние ссылки