A UNIFYING FORMAL ONTOLOGY MODEL - A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research

Stephan Grimm

Abstract

We propose a simple formal ontology model for the uniform presentation of ontologies across different areas of SemanticWeb (SW) research. On the one hand, the models simplicity allows for abstracting from technical details in a selective way, while on the other hand it captures the essential characteristics of an ontology common to most ontology languages and formalisms. To demonstrate the compatibility of our model to existing SWresearch, we provide mappings to several languages and formalisations ranging from expressive language standards to light-weight semantical models. Moreover, we specify an extension of the UML metamodel for the graphical visualisation of ontologies, and we sketch a software architecture for the programmatic access to ontologies in terms of an API.

References

  1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., editors (2003). The Description Logic Handbook. Cambridge University Press.
  2. Brickley, D. and Guha, R. (2004). RDF Vocabulary Description Language - RDF Schema. http://www.w3.org/TR/rdf-schema/.
  3. Euzenat, J. and Shvaiko, P. (2007). Ontology Matching. Springer-Verlag, Heidelberg.
  4. Gruber, T. (1993). A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition, 6(2):199-221.
  5. Horridge, M., Bechhofer, S., and Noppens, O. (2007). Igniting the OWL 1.1 Touch Paper: The OWL API. In OWLED, volume 258 of CEUR Workshop Proceed.
  6. Klyne, G. and Carroll, J. (2004). RDF Concepts and Abstract Syntax. http://www.w3.org/TR/rdf-primer/.
  7. Miles, A. and Bechhofer, S. (2008). SKOS Simple Knowledge Organization System Reference. W3C draft.
  8. Motik, B. (2005). On the Properties of Metamodeling in OWL. In Proceedings of the 4th International Semantic Web Conference (ISWC'05), volume 3729 of LNCS, pages 548-562. Springer-Verlag.
  9. Patel-Schneider, P., Hayes, P., and Horrocks, I. (2004). OWL Web Ontology Language; Semantics and Abstract Syntax. http://www.w3.org/TR/owl-semantics/.
Download


Paper Citation


in Harvard Style

Grimm S. (2009). A UNIFYING FORMAL ONTOLOGY MODEL - A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009) ISBN 978-989-674-012-2, pages 327-335. DOI: 10.5220/0002331003270335


in Bibtex Style

@conference{keod09,
author={Stephan Grimm},
title={A UNIFYING FORMAL ONTOLOGY MODEL - A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)},
year={2009},
pages={327-335},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002331003270335},
isbn={978-989-674-012-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)
TI - A UNIFYING FORMAL ONTOLOGY MODEL - A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research
SN - 978-989-674-012-2
AU - Grimm S.
PY - 2009
SP - 327
EP - 335
DO - 10.5220/0002331003270335