Онтологічні мови — формальні мови для побудови онтологій. Використовуються в комп'ютерних науках і штучному інтелекті. Вони дозволяють кодування знань щодо конкретних галузей і часто включають у себе логічні правила (), які підтримують обробку цих знань. Онтологічні мови, як правило, є декларативними мовами, майже завжди є узагальненнями , і, як правило, засновані або на логіці першого порядку або на описовій_логіці. Приклади
Промисловий підхід В Стенфордському університеті (США) розроблено безкоштовний редактор онтологічної мови з відкритим кодом . Ядро Protégé складається з комбінації Web Ontology Language та Datalog. Організовано содружество ентузіастів, яке включає триста тисяч учасників, які поповнюють онтологічну базу знань для самих різних предметних областей. Сучасні моделювання кошти дозволяють онтологічного частково впровадити промисловий підхід у процес розробки онтології .
Обробка природної мови Також виділяється особливий тип онтологічної мови — лексична онтологія (або лінгвістична). Відмінною властивістю такої онтології є фіксація в одному ресурсі понять (слів) разом з мовними властивостями. Така онтологія тісно пов'язана із семантичною мережею. Основними джерелами понять онтології даного типу є значення мовних одиниць. Вони також вирізняються своєрідним набором взаємозв'язків, зазвичай властивим для мовних елементів: синонімія, гіпонімія, метонімія, а також низка інших. Лінгвістичні онтології включають WordNet тісно пов'язаний з роботою природної мови. Ідея WordNet'у виявилась дуже ефективною. Концепцію було взято для створення EuroWordNetP. Vossen, Ed. 1998. EuroWordNet: A Multilingual Database with Lexical Semantic Networks. Kluwer, Dordrecht, The Netherlands. — семантичного словника всіх європейських мов, в основному, для створення систем машинного перекладу. У Національному університеті «Львівська політехніка» з 2009 року було захищено ряд магістерських робіт, присвячених вивченню методів розробки WordNet-подібних словників, та розроблено перші фрагменти української версії WordNet.
Класифікація Традиційні онтологічні мови Common Logic — і її діалекти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): рамки для сімейства мов на основі логіки»). Стандарт доступний для придбання в каталозі ІСО, і знаходиться у вільному доступі в . CycL DOGMA ( — розробка методів на основі онтологій і додатків) F-Logic ( — фреймова логіка) KIF ( — формат обміну знаннями) Ontolingua на основі KIF KL-ONE
OCML ( — мова операційного концептуального моделювання) OKBC ( — відкритий інтерфейс бази знань) PLIB ( — частини бібліотеки) RACER
За синтаксисом
Онтологічні мови розмітки Ці мови використовують схеми розмітки для кодування знань, найчастіше XML. DAML+OIL Ontology Inference Layer (OIL) Web Ontology Language (OWL) Resource Description Framework (RDF) RDF Schema SHOE
За структурою
Примітки
Посилання 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