DOOR - Towards a Formalization of Ontology Relations

In this paper, we describe our ongoing effort in describing and formalizing semantic relations that link ontolo- gies with each others on the Semantic Web in order to create an ontology, DOOR, to represent, manipulate and reason upon these relations. DOOR is a Descriptive Ontology of Ontology Relations which intends to define relations such as inclusion, versioning, similarity and agreement using ontological primitives as well as rules. Here, we provide a detailed description of the methodology used to design the DOOR ontology, as well as an overview of its content. We also describe how DOOR is used in a complete framework (called KANNEL) for detecting and managing semantic relations between ontologies in large ontology repositories. Applied in the context of a large collection of automatically crawled ontologies, DOOR and KANNEL provide a starting point for analyzing the underlying structure of the network of ontologies that is the Semantic Web.

[1]  Aldo Gangemi,et al.  An Overview of the ONIONS Project: Applying Ontologies to the Integration of Medical Terminologies , 1999, Data Knowl. Eng..

[2]  James A. Hendler,et al.  Towards the semantic web: knowledge representation in a dynamic, distributed environment , 2001 .

[3]  Mark A. Musen,et al.  Promptdiff: a fixed-point algorithm for comparing ontology versions , 2002, AAAI/IAAI.

[4]  Jeff Heflin,et al.  A Model Theoretic Semantics for Ontology Versioning , 2004, SEMWEB.

[5]  Michel C. A. Klein,et al.  Ontology versioning on the Semantic Web , 2001, SWWS.

[6]  Steffen Staab,et al.  Comparing ontologies - similarity measures and a comparison study , 2001 .

[7]  Ian Horrocks,et al.  Just the right amount: extracting modules from ontologies , 2007, WWW '07.

[8]  Jérôme David,et al.  Comparison between Ontology Distances (Preliminary Results) , 2008, SEMWEB.

[9]  Enrico Motta,et al.  WATSON: a gateway for the semantic web , 2007 .

[10]  Guilin Qi,et al.  Measuring Incoherence in Description Logic-Based Ontologies , 2007, ISWC/ASWC.

[11]  Michel C. A. Klein,et al.  Ontology Versioning and Change Detection on the Web , 2002, EKAW.

[12]  Mathieu d'Aquin,et al.  Formally measuring agreement and disagreement in ontologies , 2009, K-CAP '09.

[13]  Boris Konev,et al.  CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL , 2008, OWL: Experiences and Directions.

[14]  Carlo Allocca.  Expliciting semantic relations between ontologies in large ontology repositories , 2009 .

[15]  Enrico Motta,et al.  Toward a New Generation of Semantic Web Applications , 2008, IEEE Intelligent Systems.

[16]  Guilin Qi,et al.  Approaches to Inconsistency Handling in Description-Logic Based Ontologies , 2007, OTM Workshops.

[17]  Carsten Lutz,et al.  Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics , 2006, KR.

[18]  Nicola Guarino,et al.  Understanding top-level ontological distinctions , 2001, OIS@IJCAI.