An Ontology for Specifying and Parsing Knowledge Representations Structures and Notations

Philippe Martin, Jérémy Benard

2014

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.

Paper Citation

in Harvard Style

Martin P. and Benard J. (2014). An Ontology for Specifying and Parsing Knowledge Representations Structures and Notations . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014) ISBN 978-989-758-049-9, pages 96-107. DOI: 10.5220/0005082500960107

in Bibtex Style

@conference{keod14,
author={Philippe Martin and Jérémy Benard},
title={An Ontology for Specifying and Parsing Knowledge Representations Structures and Notations},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)},
year={2014},
pages={96-107},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005082500960107},
isbn={978-989-758-049-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)
TI - An Ontology for Specifying and Parsing Knowledge Representations Structures and Notations
SN - 978-989-758-049-9
AU - Martin P.
AU - Benard J.
PY - 2014
SP - 96
EP - 107
DO - 10.5220/0005082500960107