Онтологічні мови — Вікіпедія
Онтологічні мови — формальні мови для побудови онтологій. Використовуються в комп'ютерних науках і штучному інтелекті. Вони дозволяють кодування знань щодо конкретних галузей і часто включають у себе логічні правила (англ. 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.
- DAML+OIL
- Ontology Inference Layer (OIL)
- Web Ontology Language (OWL)
- Resource Description Framework (RDF)
- RDF Schema
- SHOE
За структурою[ред. | ред. код]
Цей розділ потребує доповнення. (липень 2011) |
Примітки[ред. | ред. код]
- ↑ 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
Це незавершена стаття про мови програмування. Ви можете допомогти проєкту, виправивши або дописавши її. |
|