АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

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

Семанти́ческий механи́зм рассужде́ний — часть программного обеспечения, способная делать логические умозаключения из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений включает в себя и обобщает машины вывода, предоставляя более богатый набор механизмов для работы с знаниями. Правила вывода обычно определяются с помощью языков онтологий и часто языков дескрипционной логики. Множество семантических механизмов рассуждений опираются на логику первого порядка; процесс рассуждения осуществляется прямым и обратным способом (forward chaining, backward chaining). Существуют и вероятностные механизмы рассуждений, включая неаксиоматическую систему рассуждений Пей Ванга[1] и вероятностные логические сети[2].

Виды

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

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

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

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

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

  • Cwm — механизм прямого вывода, применяется для запроса, проверки, преобразования и фильтрации информации. Основной язык — RDF с поддержкой правил, дополнительно используются сериализации RDF/XML и N3. (CWM, лицензия W3C)
  • Drools — движок правил, реализующий принципы прямого вывода по расширенному алгоритму Rete. (Drools, Apache License 2.0)
  • OpenRules — система управления бизнес-правилами и решениями с открытым исходным кодом. Помимо движка правил реализует вывод на основе программирования в ограничениях. (OpenRules)
  • FaCT++ — основанный на таблицах алгоритм рассуждения для описательной логики (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.
  • SemanticGuide — экспертная система на базе OntoBroker. [1]
  • Apache Marmotta — включает движок рассуждений KiWi с поддержкой правил.
  • dot15926 Editor-Ontology — фреймворк управления онтологиями, использовавшийся в разработке стандарта ISO 15926; поддерживает сценарии на Python и задания для анализа по шаблонам.

Примечания

Ссылки