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.

References

  1. Brophy, M., Heflin, J., 2009. OWL-PL: A Presentation Language for Displaying Semantic Data on the Web. Technical report, Department of Computer Science and Engineering, Lehigh University.
  2. Common Logic, 2007. Information technology - Common Logic (CL): a framework for a family of logic-based languages. ISO/IEC 24707:2007(E), JTC1/SC32.
  3. Corby, O., Faron-Zucker, C, Gandon, F., 2014. SPARQL Template: A Transformation Language for RDF. In IC 2014, 25th Journées francophones d'Ingénierie des Connaissances, Clermont-Ferrand, France.
  4. Farquhar, A., Fikes, R., Rice, J., 1997. The Ontolingua Server: a tool for collaborative ontology construction. International Journal of Human-Computer Studies, Volume 46, Issue 6, Academic Press, Inc., MN, USA.
  5. Genesereth, M., Fikes R., 1992. Knowledge Interchange Format, Version 3.0, Reference Manual. Technical Report, Logic-92-1, Computer Science Dept., Stanford University. http://www.cs.umbc.edu/kse/
  6. GRDDL, 2007. Gleaning Resource Descriptions from Dialects of Languages (GRDDL). W3C Recommendation 11 September 2007. Editor: Connolly, D. http://www.w3.org/TR/2007/REC-grddl-20070911/
  7. Horrocks I., 1997. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester.
  8. Martin Ph. and Eklund P., 1999. Embedding Knowledge in Web Documents. Computer Networks: The International Journal of Computer and Telecommunications Networking, Vol. 31, Issue 11-16, pp. 1403-1419.
  9. Martin Ph., 2002. Knowledge representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English. Proceedings of ICCS 2002, LNAI 2393, pp. 77-91
  10. Martin Ph., 2011. Collaborative knowledge sharing and editing. International Journal on Computer Science and Information Systems, Vol. 6, Issue 1, pp. 14-29.
  11. OWL 2, 2009. OWL 2 Web Ontology Language Document Overview (Second Edition). W3C Recommendation. w3.org/TR/2012/REC-owl2-overview-20121211/
  12. Pietriga, E., Bizer, C., Karger, D., Lee, R., 2006. Fresnel: A Browser-Independent Presentation Vocabulary for RDF. In ISWC 2006, 5th International Semantic Web Conference, LNCS 4273.
  13. Quan, D. 2005. Xenon: An RDF Stylesheet Ontology. In WWW 2005, 14th World Wide Web Conference, Japan.
  14. RIF-FLD, 2013. RIF Framework for Logic Dialects (Second Edition). W3C Recommendation. Editors: Boley, H., Kifer, M., http://www.w3.org/TR/2013/RECrif-fld-20130205/
  15. RIF-FLD-OWL, 2013. RIF RDF and OWL Compatibility (Second Edition). W3C Recommendation Feb. 5th 2013. www.w3.org/TR/2013/REC-rif-rdf-owl-20130205/
  16. SBVR, 2008. Semantics of Business Vocabulary and Business Rules (SBVR), Version 1.0. OMG document formal/08-01-02. http://www.omg.org/spec/SBVR/1.0/
  17. Šváb-Zamazal, O., Dudás, M., Svátek, V., 2012. UserFriendly Pattern-Based Transformation of OWL Ontologies. In EKAW 2012, LNCS 7603.
Download


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