Семантический механизм рассуждений

Семанти́ческий механи́зм рассужде́ний, семанти́ческий ра́зум (англ. semantic reasoner), семанти́ческий мысли́тель (англ. reasoning engine) или движо́к пра́вил (англ. rules engine) — это часть программного обеспечения, способная вывести логические умозаключения (англ. Logical consequence) из набора утверждённых фактов или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно определяются с помощью языка онтологий и часто языков описательной логики. Многие семантические механизмы рассуждений используют логику первого порядка для выполнения рассуждений; вывод обычно происходит путём прямой и обратной цепочек рассуждений. Существуют также примеры вероятностных механизмов рассуждений, включая неаксиоматическую систему рассуждений Пей Ванга и вероятностные логические сети (англ. Probabilistic logic network).

Список семантических механизмов рассуждений

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

Коммерческое программное обеспечение

• Bossam (программное обеспечение), механизм правил, основанный на RETE, со встроенными средствами поддержки для анализа онтологий OWL, правил SWRL и правил RuleML.
• RacerPro
• OntoBroker — это механизм вывода с естественными рассуждениями над F-Logic, ObjectLogic, RIF и OWL. (W3C-перечисленный механизм вывода)

Свободное в использовании (c закрытым исходным кодом)

• Cyc inference engine, движок вывода вперед и назад с многочисленными специализированными модулями для логики высокого порядка. (ResearchCyc) (OpenCyc)
• KAON2 — это инфраструктура для управления онтологиями OWL-DL, SWRL и F-Logic.
• Internet Business Logic (программное обеспечение) — разумный разработчик приложений для конечных пользователей. Автоматически создает и запускает сложные сетевые SQL-запросы. Объясняет результаты на английском языке на уровне конечного пользователя.

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

• Cwm, механизм прямых цепочек рассуждений, используемый для запроса, проверки, преобразования и фильтрации информации. Его основным языком является RDF, расширенный для включения правил, и при необходимости он использует сериализации RDF/XML или N3. (CWM, W3C software license)
• Drools, механизм правил, основанный на принципах прямого преобразования, который использует расширенную реализацию алгоритма Rete. (Drools, Apache license 2.0)
• OpenRules, система бизнес-правил и управления решениями с открытым исходным кодом. Наряду с механизмом последовательных правил включает в себя механизм вывода, который использует программирование в ограничениях (OpenRules)
• FaCT++ Reasoner, основанный на таблицах аргумент для экспрессивных описаний логики (DL), охватывающий OWL и OWL 2, но без поддержки ключевых ограничений и некоторых типов данных. Написан на языке C++. (LGPL)
• Flora-2, объектно-ориентированная, основанная на правилах система представления знаний и рассуждений. (Flora-2, Apache 2.0)
• Gandalf, механизм правил принятия решений с открытым исходным кодом на PHP (GPL).
• Prova, механизм правил семантической сети, который поддерживает интеграцию данных с помощью запросов и типов SPARQL (RDFS, OWL-онтологии как типа систем). (Prova, GNU GPL v2, доступен коммерческий вариант)
• Pellet, OWL 2 DL reasoner (AGPL, доступен коммерческий вариант)
• HermiT, OWL 2 DL reasoner (LGPL)
• ELK, OWL 2 EL reasoner (Apache 2)
• CEL, OWL 2 EL reasoner (Apache 2)
• jcel, OWL 2 EL reasoner (LGPL / Apache 2)
• RACER, OWL 2 DL reasoner (BSD-3)
• Jena, семантическая веб-среда с открытым исходным кодом для Java, которая включает в себя ряд различных семантико-логических модулей. (Apache Jena, Apache License 2.0)
• RDFSharp, семантическая веб-среда с открытым исходным кодом для .NET, которая включает семантическое расширение, реализующее логику правил RDFS/OWL-DL/custom. (RDFSharp, Apache License 2.0)

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

• SemanticMiner включает в себя семантический мыслитель OntoBroker для выполнения семантического поиска на основе онтологий. [1]
• SemanticGuide — это экспертная система основанная на OntoBroker. [2]
• Apache Marmotta включает в своем хранилище фактов KiWi основанный на правилах семантический мыслитель.
• dot15926 Editor-Ontology, фреймворк управления, первоначально разработанная для разработки стандарта онтологии ISO 15926. Позволяет создавать сценарии правил Python и проводить анализ данных на основе шаблонов. Поддерживает расширения.

См. также

• Business rules engine
• Экспертная система
• Doxastic logic
• Method of analytic tableaux
• Логическое программирование
• Solver

Ссылки

• OWL 2 Reasoners listed on W3C SW Working Group homepage
• SPARQL Query Language for RDF
• Introduction to Description Logics DL course by Enrico Franconi, Faculty of Computer Science, Free University of Bolzano, Italy
• Inference using OWL 2.0 Semantics by Craig Trim (IBM).
• Marko Luther, Thorsten Liebig, Sebastian Böhm, Olaf Noppens: Who the Heck Is the Father of Bob?. ESWC 2009: 66-80
• Jurgen Bock, Peter Haase, Qiu Ji, Raphael Volz. Benchmarking OWL Reasoners. In ARea2008 — Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (June 2008)
• Tom Gardiner, Ian Horrocks, Dmitry Tsarkov. Automated Benchmarking of Description Logic Reasoners. Description Logics Workshop 2006
• OpenRuleBench Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer. OpenRuleBench: An Analysis of the Performance of Rule Engines. 2009. Latest benchmarks at OpenRuleBench website.