Онтологічні мови формальні мови для побудови онтологій Використовуються в комп ютерних науках і штучному інтелекті Вони

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

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

— і її діалекти
(англ. Developing Ontology-Grounded Methods and Applications — розробка методів на основі онтологій і додатків)
(англ. Frame Logic — фреймова логіка)
KIF (англ. Knowledge Interchange Format — формат обміну знаннями)
- на основі KIF
^[en]
(англ. Operational Conceptual Modelling Language — мова операційного концептуального моделювання)
(англ. Open Knowledge Base Connectivity — відкритий інтерфейс бази знань)
PLIB (англ. Parts LIBrary — частини бібліотеки)

Ці мови використовують схеми розмітки для кодування знань, найчастіше 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

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