Ontology language: Difference between revisions
→References: {{Non-classical logic}} |
Jerryobject (talk | contribs) m →References: WP:NAVBOX update. |
||
(24 intermediate revisions by 16 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Formal language used to construct ontologies}} |
|||
⚫ | In [[computer science]] and [[artificial intelligence]], '''ontology languages''' are [[formal language]]s used to construct [[ontology (information science)|ontologies]]. They allow the encoding of |
||
{{Multiple issues| |
|||
⚫ | |||
{{Refimprove|date=May 2017}} |
|||
{{More footnotes|date=May 2017}} |
|||
}} |
|||
⚫ | In [[computer science]] and [[artificial intelligence]], '''ontology languages''' are [[formal language]]s used to construct [[ontology (information science)|ontologies]]. They allow the [[Knowledge representation and reasoning|encoding of knowledge]] about specific [[Field of study|domains]] and often include [[inference rule|reasoning rule]]s that support the processing of that knowledge. Ontology languages are usually [[declarative language]]s, are almost always generalizations of [[frame language]]s, and are commonly based on either [[first-order logic]] or on [[description logic]]. |
||
==Classification of ontology languages== |
==Classification of ontology languages== |
||
⚫ | |||
The numerous ontology languages are often classified by structure or syntax. |
|||
===Classification by syntax=== |
===Classification by syntax=== |
||
Line 12: | Line 16: | ||
* [[DOGMA]] (Developing Ontology-Grounded Methods and Applications) |
* [[DOGMA]] (Developing Ontology-Grounded Methods and Applications) |
||
* [[F-Logic]] (Frame Logic) |
* [[F-Logic]] (Frame Logic) |
||
* [[FO-dot]] (First-order logic extended with types, arithmetic, aggregates and inductive definitions) |
|||
* [[Knowledge_Interchange_Format|KIF]] (Knowledge Interchange Format) |
* [[Knowledge_Interchange_Format|KIF]] (Knowledge Interchange Format) |
||
** [[Ontolingua]] based on KIF |
** [[Ontolingua]] based on KIF |
||
* [[KL-ONE]] |
* [[KL-ONE]] |
||
* |
* KM programming language |
||
* [[LOOM (ontology)]] |
* [[LOOM (ontology)]] |
||
* |
* OCML (Operational Conceptual Modelling Language) |
||
* [[OKBC]] ([[Open Knowledge Base Connectivity]]) |
* [[OKBC]] ([[Open Knowledge Base Connectivity]]) |
||
* PLIB (Parts LIBrary) |
* PLIB (Parts LIBrary) |
||
Line 31: | Line 36: | ||
* [[RDF Schema]] (RDFS) |
* [[RDF Schema]] (RDFS) |
||
* [[Simple HTML Ontology Extensions|SHOE]] |
* [[Simple HTML Ontology Extensions|SHOE]] |
||
==== Controlled natural languages ==== |
|||
* [[Attempto Controlled English]]<ref>Kuhn, Tobias. "[https://www.researchgate.net/profile/Tobias_Kuhn/publication/228638589_Attempto_Controlled_English_as_ontology_language/links/0c9605186218a9b99e000000.pdf Attempto Controlled English as ontology language]." REWERSE Annual Meeting. 2006.</ref> |
|||
==== Open vocabulary natural languages ==== |
|||
* [[Executable English]]<ref>[http://www.executable-english.com www.executable-english.com]</ref> |
|||
===Classification by structure (logic type)=== |
===Classification by structure (logic type)=== |
||
Line 38: | Line 49: | ||
* [[FLogic|F-Logic]] |
* [[FLogic|F-Logic]] |
||
* [[OKBC]] |
* [[OKBC]] |
||
* KM |
|||
⚫ | |||
====Description logic-based==== |
====Description logic-based==== |
||
Line 58: | Line 69: | ||
* [[Common Logic]] |
* [[Common Logic]] |
||
* [[CycL]] |
* [[CycL]] |
||
* [[FO-dot]] (First-order logic extended with types, arithmetic, aggregates and inductive definitions) |
|||
* [[Knowledge Interchange Format|KIF]] |
* [[Knowledge Interchange Format|KIF]] |
||
==See also== |
==See also== |
||
⚫ | |||
* [[Frame language]] |
|||
⚫ | |||
* [[Domain theory]] |
* [[Domain theory]] |
||
⚫ | |||
* [[Galois connection]] |
* [[Galois connection]] |
||
⚫ | |||
⚫ | |||
* [[OntoUML]] |
|||
==Notes== |
|||
{{reflist}} |
|||
==References== |
==References== |
||
* Oscar Corcho, Asuncion Gomez-Perez, ''[http://www.cs.man.ac.uk/~ocorcho/documents/ekaw00_CorchoGomezPerez.pdf A Roadmap to Ontology Specification Languages]'' (2000) |
* Oscar Corcho, Asuncion Gomez-Perez, ''[http://www.cs.man.ac.uk/~ocorcho/documents/ekaw00_CorchoGomezPerez.pdf A Roadmap to Ontology Specification Languages]'' (2000) |
||
* [http://www.inf.unibz.it/~franconi/dl/course/ |
* [http://www.inf.unibz.it/~franconi/dl/course/ ''Introduction to Description Logics'' – DL course] by Enrico Franconi, Faculty of Computer Science, Free University of Bolzano, Italy |
||
{{Automated reasoning}} |
|||
{{Non-classical logic}} |
{{Non-classical logic}} |
||
[[Category:Ontology languages| ]] |
[[Category:Ontology languages| ]] |
||
[[Category:Modeling languages]] |
Latest revision as of 07:24, 19 June 2024
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|
In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of that knowledge. Ontology languages are usually declarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic.
Classification of ontology languages
[edit]Classification by syntax
[edit]Traditional syntax ontology languages
[edit]- Common Logic - and its dialects
- CycL
- DOGMA (Developing Ontology-Grounded Methods and Applications)
- F-Logic (Frame Logic)
- FO-dot (First-order logic extended with types, arithmetic, aggregates and inductive definitions)
- KIF (Knowledge Interchange Format)
- Ontolingua based on KIF
- KL-ONE
- KM programming language
- LOOM (ontology)
- OCML (Operational Conceptual Modelling Language)
- OKBC (Open Knowledge Base Connectivity)
- PLIB (Parts LIBrary)
- RACER
Markup ontology languages
[edit]These languages use a markup scheme to encode knowledge, most commonly with XML.
- DAML+OIL
- Ontology Inference Layer (OIL)
- Web Ontology Language (OWL)
- Resource Description Framework (RDF)
- RDF Schema (RDFS)
- SHOE
Controlled natural languages
[edit]Open vocabulary natural languages
[edit]Classification by structure (logic type)
[edit]Frame-based
[edit]Three languages are completely or partially frame-based languages.
Description logic-based
[edit]Description logic provides an extension of frame languages, without going so far as to take the leap to first-order logic and support for arbitrary predicates.
Gellish is an example of a combined ontology language and ontology that is description logic based. It distinguishes between the semantic differences among others of:
- relation types for relations between concepts (classes)
- relation types for relations between individuals
- relation types for relations between individuals and classes
It also contains constructs to express queries and communicative intent.
First-order logic-based
[edit]Several ontology languages support expressions in first-order logic and allow general predicates.
- Common Logic
- CycL
- FO-dot (First-order logic extended with types, arithmetic, aggregates and inductive definitions)
- KIF
See also
[edit]Notes
[edit]- ^ Kuhn, Tobias. "Attempto Controlled English as ontology language." REWERSE Annual Meeting. 2006.
- ^ www.executable-english.com
References
[edit]- 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