Abstract
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to their specification. We present a formal specification of the ontologies part of the Web Services Modeling Language WSML documentation as a conceptual model in ORM2. Such an approach abstracts the semantics about ontological constructs, axioms, and properties from their implementation in arbitrary formats, thereby making the model easily understandable and reusable. This formal model in ORM2, which is understandable by both logician and software developer, can be used as any other conceptual model to develop applications, thereby ensuring smooth transition from theory to implementations that are faithful to the theory.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: Querying ontologies. In: Proc. of AAAI 2005 (2005)
Antezana, E., Tsiporkova, E., Mironov, V., Kuiper, M.: A cell-cycle knowledge integration framework. In: Leser, U., Naumann, F., Eckman, B. (eds.) DILS 2006. LNCS (LNBI), vol. 4075, pp. 19–34. Springer, Heidelberg (2006)
Bechhofer, S., Horrocks, I., Turi, D.: The OWL Instance Store: System description. In: Nieuwenhuis, R. (ed.) Automated Deduction – CADE-20. LNCS (LNAI), vol. 3632, Springer, Heidelberg (2005)
De Bruijn, J., Heymans, S.: A semantic framework for language layering in WSML. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol. 4524, pp. 103–117. Springer, Heidelberg (2007)
De Bruijn, J., Heymans, S.: WSML Ontology Semantics. WSML Working Draft D28.3v01. Available from http://www.wsmo.org/TR/d28/d28.3/v0.1/20061218/
De Bruijn, J., Lausen, H., Krummenacher, R., Polleres, A., Predoiu, L., Kifer, M., Fensel, D.: The Web Service Modeling Language WSML. WSML Working Draft D16.1v0.21. Available from http://www.wsmo.org/TR/d16/d16.1/v0.21/
Gennari, J.H., Musen, M.M., Fergerson, R.W., Grosso, W.E., Crubézy, M., Eriksson, H., Noy, N.F., Tu, S.W.: The Evolution of Protégé: An Environment for Knowledge-Based Systems Development. Int. J. of Human-Computer Studies 58(1), 89–123 (2003)
Gene Ontology, http://www.geneontology.org/
Halpin, T.A.: A logical analysis of information systems: static aspects of the data-oriented perspective. PhD Thesis, University of Queensland, Australia (1989)
Keet, C.M.: Granular information retrieval from the Gene Ontology and from the Foundational Model of Anatomy with OQAFMA. KRDB Research Centre Technical Report KRDB06-1, Free University of Bozen-Bolzano (April 6, 2006)
Keet, C.M.: Prospects for and issues with mapping the Object-Role Modeling language into DLRifd. In: Proceedings of DL 2007. CEUR-WS, vol. 250, pp. 331–338 (2007)
Neumont ORM Architect, http://sourceforge.net/projects/orm/
OWL 1.1 (Editor’s draft of 23-5-2007), http://www.webont.org/owl/1.1/
Poggi, A., Ruzzi, M.: Ontology-based data access with MASTRO. OWL: Experience and Directions (OWLED 2007). Innsbruck, Austria (June 6-7, 2007)
Protégé, http://protege.stanford.edu/
Rosse, C., Mejino, J.L.V.: A reference ontology for biomedical informatics: the foundational model of anatomy. Journal of Biomedical Informatics 36, 478–500 (2003)
Tziviskou, C., Brambilla, M.: Semantic Personalization of Web Portal Contents. In: Poster at ACM WWW 2007, Banff Canada (May 2007)
Tziviskou, C., Keet, C.M.: ORM2 diagrams for WSML specification. Available, from http://www.elet.polimi.it/upload/tzivisko/wsml-orm2-norma.pdf
Tziviskou, C., Keet, C.M.: Translation of ORM2 diagrams for WSML pecification to First Order Logic, http://www.elet.polimi.it/upload/tzivisko/wsml-orm-fol.htm
WebML, http://www.webml.org
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tziviskou, C., Keet, C.M. (2007). A Meta-model for Ontologies with ORM2. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops. OTM 2007. Lecture Notes in Computer Science, vol 4805. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76888-3_85
Download citation
DOI: https://doi.org/10.1007/978-3-540-76888-3_85
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76887-6
Online ISBN: 978-3-540-76888-3
eBook Packages: Computer ScienceComputer Science (R0)