The Distributed Ontology , Modelling and Specification Language – DOL

There is a diversity of ontology languages in use, among them OWL, RDF, OBO, Common Logic, and F-logic. Related languages such as UML class diagrams, entity-relationship diagrams and object role modelling provide bridges from ontology modelling to applications, e.g. in software engineering and databases. Another diversity appears at the level of ontology modularity and relations among ontologies. There is ontology matching and alignment, module extraction, interpolation, ontologies linked by bridges, interpretation and refinement, and combination of ontologies. The Distributed Ontology, Modelling and Specification Language (DOL) aims at providing a unified meta language for handling this diversity. In particular, DOL provides constructs for (1) “as-is” use of ontologies formulated in a specific ontology language, (2) ontologies formalised in heterogeneous logics, (3) modular ontologies, and (4) links between ontologies. This paper sketches the design of the DOL language. DOL will be submitted as a proposal within the OntoIOp (Ontology Integration and Interoperability) standardisation activity of the Object Management Group (OMG).

[1]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[2]  Peter D. Mosses,et al.  CASL User Manual , 2004, Lecture Notes in Computer Science.

[3]  Till Mossakowski,et al.  The Onto-Logical Translation Graph , 2011, WoMO.

[4]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[5]  Till Mossakowski,et al.  Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design , 2010, Logica Universalis.

[6]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[7]  Carsten Lutz,et al.  An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL , 2012, KR.

[8]  Peter Haase,et al.  The NeOn Ontology Engineering Toolkit , 2008, WWW 2008.

[9]  Modular Ontologies - Proceedings of the Fourth International Workshop, WoMO 2010, Toronto, ON, Canada, May 11, 2010 , 2010, WoMO.

[10]  Carsten Lutz,et al.  Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics , 2011, IJCAI.

[11]  Jérôme David,et al.  The Alignment API 4.0 , 2011, Semantic Web.

[12]  Peter D. Mosses,et al.  CASL: the Common Algebraic Specification Language , 2002, Theor. Comput. Sci..

[13]  José Meseguer,et al.  General Logics , 2006 .

[14]  C. Maria Keet,et al.  Representing and reasoning over a taxonomy of part-whole relations , 2008 .

[15]  Grigore Rosu,et al.  Institution Morphisms , 2013, Formal Aspects of Computing.

[16]  Christoph Lange,et al.  Semantics of the Distributed Ontology Language: Institutes and Institutions , 2012, WADT.

[17]  Christoph Lange,et al.  LoLa: A Modular Ontology of Logics, Languages, and Translations , 2012, WoMO.

[18]  The Babel of the Semantic Web Tongues – In Search of the Rosetta Stone of Interoperability , 2012 .

[19]  Pascal Hitzler,et al.  Formalizing Ontology Alignment and its Operations with Category Theory , 2006, FOIS.

[20]  Bijan Parsia,et al.  Ontology Integration Using epsilon-Connections , 2009, Modular Ontologies.

[21]  Natalya F. Noy,et al.  BioPortal: Ontologies and Integrated Data Resources at the Click of a Mouse , 2009 .

[22]  Till Mossakowski,et al.  Heterogeneous colimits , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[23]  Tomasz Borzyszkowski.  Logical systems for structured specifications , 2002, Theor. Comput. Sci..

[24]  Modular Ontologies - Proceedings of the Fifth International Workshop, WoMO 2011, Ljubljana, Slovenia, August 2011 , 2011, WoMO.

[25]  Ulrike Sattler,et al.  Which Kind of Module Should I Extract? , 2009, Description Logics.

[26]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[27]  Till Mossakowski,et al.  The OWL in the CASL - Designing Ontologies Across Logics , 2008, OWLED.

[28]  S. Wölfl,et al.  The Heterogeneous Tool Set , 2007 .

[29]  Jeff Z. Pan,et al.  Forgetting for knowledge bases in DL-Lite , 2010, Annals of Mathematics and Artificial Intelligence.

[30]  Stefano Borgo,et al.  Development of Modular Ontologies in CASL , 2006, WoMO.

[31]  Carsten Lutz,et al.  The Complexity of Circumscription in DLs , 2009, J. Artif. Intell. Res..

[32]  Christoph Lange,et al.  Three Semantics for the Core of the Distributed Ontology Language , 2012, FOIS.

[33]  Stefano Spaccapietra,et al.  Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization , 2009, Modular Ontologies.