Reasoning with a Network of Aligned Ontologies

In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or reasoning with a system of networked ontologies. Though different formalisms have already been defined to reason with such systems, they do not consider ontology alignments as first class objects designed by third party ontology matching systems. Correspondences between ontologies are often asserted from an external point of view encompassing both ontologies. We study consistency checking in a network of aligned ontologies represented in Integrated Distributed Description Logics ( IDDL ). This formalism treats local knowledge (ontologies) and global knowledge (inter-ontology semantic relations, i.e. alignments) separately by distinguishing local interpretations and global interpretation so that local systems do not need to directly connect to each other. We consequently devise a correct and complete algorithm which, although being far from tractacle, has interesting properties: it is independent from the local logics expressing ontologies by encapsulating local reasoners. This shows that consistency of a IDDL system is decidable whenever consistency of the local logics is decidable. Moreover, the expressiveness of local logics does not need to be known as long as local reasoners can handle at least $\mathcal{ALC}$.

[1]  Heiner Stuckenschmidt,et al.  Improving Automatically Created Mappings Using Logical Reasoning , 2006, Ontology Matching.

[2]  Antoine Zimmermann,et al.  Integrated Distributed Description Logics , 2007, Description Logics.

[3]  Vasant Honavar,et al.  A Distributed Tableau Algorithm for Package-based Description Logics , 2006 .

[4]  Sergio Tessaris,et al.  On Relating Heterogeneous Elements from Different Ontologies , 2007, Description Logics.

[5]  Vasant Honavar,et al.  On the Semantics of Linking and Importing in Modular Ontologies , 2006, SEMWEB.

[6]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[7]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[8]  Dean Allemang,et al.  The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings , 2006, SEMWEB.

[9]  Bijan Parsia,et al.  Combining OWL ontologies using epsilon-Connections , 2006, J. Web Semant..

[10]  François Scharffe,et al.  Expressive alignment language and implementation , 2007 .

[11]  Heiner Stuckenschmidt,et al.  Repairing Ontology Mappings , 2007, AAAI.

[12]  Luciano Serafini,et al.  DRAGO: Distributed Reasoning Architecture for the Semantic Web , 2005, ESWC.

[13]  Franz Baader,et al.  Tableau Algorithms for Description Logics , 2000, TABLEAUX.

[14]  Jana Koehler,et al.  Modal Logics, Description Logics and Arithmetic Reasoning , 1999, Artif. Intell..

[15]  Frank van Harmelen,et al.  Contextualizing ontologies , 2004, J. Web Semant..

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

[17]  Jérôme Euzenat,et al.  Alignment-based Modules for Encapsulating Ontologies , 2007, WoMO.

[18]  Ian Horrocks,et al.  A Logical Framework for Modularity of Ontologies , 2007, IJCAI.

[19]  Jérôme Euzenat,et al.  Semantic Precision and Recall for Ontology Alignment Evaluation , 2007, IJCAI.

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

[21]  Frank van Harmelen,et al.  C-OWL: Contextualizing Ontologies , 2003, SEMWEB.

[22]  Bernardo Cuenca Grau,et al.  Modular Ontology Languages Revisited , 2007 .

[23]  B. Parsia,et al.  Combining OWL Ontologies Using E-Connections , 2005 .

[24]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[25]  Jérôme Euzenat,et al.  Three Semantics for Distributed Systems and Their Relations with Alignment Composition , 2006, SEMWEB.

[26]  Roy Dyckhoff.  Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.

[27]  Peter F. Patel-Schneider,et al.  System Description: DLP , 2000, CADE.

[28]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.