Subsumption Propagation between Remote Ontologies in Distributed Description Logic

Distributed Description Logics (DDL) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping. Subsumption propagation in DDL from one ontology to another as a result of mappings has been studied, but only for a simplified case when only two ontologies are involved. In this paper we study subsumption propagation in more complex cases, when two ontologies are only connected indirectly, via several other ontologies. We characterize cases in which such subsumption propagation occurs. However, we also identify more complex situations in which subsumption propagation does not occur even if we would expect it. In addition, we propose an adjusted semantics for DDL. Under this semantics, subsumption propagates to remote ontologies to a far greater extent. Other desired properties that have been postulated for DDL, such as directionality and restrained inconsistency propagation are retained.

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

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

[3]  Alexander Borgida,et al.  Aspects of Distributed and Modular Ontology Reasoning , 2005, IJCAI.

[4]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[5]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[6]  Luciano Serafini,et al.  Mapping Properties of Heterogeneous Ontologies , 2006, WoMO.

[7]  Jeff Z. Pan,et al.  Semantic Import: An Approach for Partial Ontology Reuse , 2006, WoMO.

[8]  Bijan Parsia,et al.  Automatic Partitioning of OWL Ontologies Using E-Connections , 2005, Description Logics.

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

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

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

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

[13]  Luciano Serafini,et al.  Distributed Reasoning Services for Multiple Ontologies , 2004 .

[14]  Bijan Parsia,et al.  Tableau Algorithms for E-Connections of Description Logics , 2005 .

[15]  Luciano Serafini,et al.  Reconciling Concepts and Relations in Heterogeneous Ontologies , 2006, SWAP.

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

[17]  Martin Homola,et al.  Distributed Description Logics Revisited , 2007, Description Logics.