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

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

Класифікація

Традиційні онтологічні мови

  • Common Logic — і її діалекти[1]
  • CycL
  • DOGMA (англ. Developing Ontology-Grounded Methods and Applications — розробка методів на основі онтологій і додатків)
  • F-Logic (англ. Frame Logic — фреймова логіка)
  • KIF (англ. Knowledge Interchange Format — формат обміну знаннями)
    • Ontolingua на основі KIF
  • KL-ONE
  • KM
  • LOOM[en]
  • 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].

Посилання


Мова програмування Це незавершена стаття про мови програмування.
Ви можете допомогти проєкту, виправивши або дописавши її.