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