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

Онтологічні мови — формальні мови для побудови онтологій. Використовуються в комп'ютерних науках і штучному інтелекті. Вони дозволяють кодування знань щодо конкретних галузей і часто включають у себе логічні правила (англ. 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.

↑ 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].

Oscar Corcho, Asuncion Gomez-Perez, A Roadmap to Ontology Specification Languages (2000)
Introduction to Description Logics DL course by Enrico Franconi, Faculty of Computer Science, Free University of Bolzano, Italy

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