Онтологічні мови

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Онтологічні мови — формальні мови для побудови онтологій. Використовуються в комп'ютерних науках і штучному інтелекті. Вони дозволяють кодування знань щодо конкретних галузей і часто включають у себе логічні правила, які підтримують обробку цих знань. Онтологічні мови, як правило, є декларативними мовами, майже завжди є узагальненнями фреймових мов, і, як правило, засновані або на логіці першого порядку або на описовій_логіці.

Класифікація[ред.ред. код]

Традиційні онтологічні мови[ред.ред. код]

  • Common Logic — і її діалекти[1]
  • CycL
  • DOGMA (англ. Developing Ontology-Grounded Methods and Applications — розробка методів на основі онтологій і додатків)
  • F-Logic (англ. Frame Logic — фреймова логіка)
  • KIF (англ. Knowledge Interchange Format — формат обміну знаннями)
  • KL-ONE
  • KM
  • LOOM
  • OCML (англ. Operational Conceptual Modelling Language — мова операційного концептуального моделювання)
  • OKBC (англ. Open Knowledge Base Connectivity — відкритий інтерфейс бази знань)
  • PLIB (англ. Parts LIBrary — частини бібліотеки)
  • RACER

За синтаксисом[ред.ред. код]

Онтологічні мови розмітки

Ці мови використовують схеми розмітки для кодування знань, найчастіше XML.

За структурою[ред.ред. код]

Примітки[ред.ред. код]

  1. Common Logic опублікована ISO як «ISO/IEC 24707:2007 Information technology — Common Logic (CL): a framework for a family of logic-based languages» («ISO/IEC 24707:2007 Інформаційні технології — Common Logic (CL): рамки для сімейства мов на основі логіки»). Стандарт доступний для придбання в каталозі ІСО, і знаходиться у вільному доступі в [1].

Посилання[ред.ред. код]