P02: A Meta-model for Ontologies with ORM2

admin — Thu, 06 Dec 2007 18:55:35 GMT

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.

Authors: Christina Tziviskou (1) tzivisko@elet.polimi.it and C. Maria Keet(2) keet@inf.unibz.it (1) Politecnico di Milano, via Ponzio 34/5, 20124 Milano, Italy (2) Faculty of Computer Science, Free University of Bozen-Bolzano, Italy

The original paper is available from Springer-Verlag Lecture Notes in Computer Science : LNCS 4805 , November 2007

ORM 2007 : WSML

P02: A Meta-model for Ontologies with ORM2