An Ontology for Specifying and Parsing Knowledge Representations Structures and Notations

Abstract : In its introduction, this article gives a short state of the art about ontologies of knowledge representation languages (KRLs) and the problems caused by i) the lack of relations between these ontologies, and ii) the lack of ontologies about notations (concrete syntaxes). For programmers, these are the difficulties of importing, exporting or translating between KRLs; for end-users, the difficulties of adapting, extending or mixing notations. To show how these problems can be solved, this article first shows how concepts of the main KRL standards can be aligned and organized. Then, it shows how this KRL model ontology can be re-used and completed by a notation ontology. Based on these two ontologies, KRLs models and notations - and thereby parsing and generation - can be specified in a concise way that even KRL end-users can adapt. The article gives representative examples. For these ontologies or specifications, a concise KRL notation is introduced and used. However, the presented approach is independent of any notation and model that has at least OWL-2 expressiveness. Thus, the results can easily be replicated. A Web address for the full specification of the two ontologies, and for a knowledge server to test or use them, is also given.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

http://hal.univ-reunion.fr/hal-01477249
Contributor : Réunion Univ <>
Submitted on : Tuesday, November 6, 2018 - 11:50:45 AM
Last modification on : Thursday, March 28, 2019 - 11:24:18 AM
Long-term archiving on : Thursday, February 7, 2019 - 2:11:19 PM

Identifiers

  • HAL Id : hal-01477249, version 1

Collections

Citation

Philippe Martin, Jérémy Bénard. An Ontology for Specifying and Parsing Knowledge Representations Structures and Notations. KEOD 2014, 6th International Conference on Knowledge Engineering and Ontology Development, Oct 2014, Rome, Italy. pp.96-107. ⟨hal-01477249⟩

Share

Metrics

Record views

42

Files downloads

64