Distributed Reasoning Services for Multiple Ontologies

The main goal of this paper is to propose a distributed paradigm for reasoning with multiple ontologies connected by semantic mappings. The contribution of the paper to this goal is twofold. From the theoretical point of view we characterize the problem of global subsumption (i.e. the problem of subsumption in a set of local ontologies connected by semantic mappings) as a suitable fixpoint combination of operators that compute subsumptions in the local ontologies. This allows us to define a sound and complete algorithm for global subsumptions which calls black-boxes sub-routines for local subsumptions. The second contribution is the description of a prototype implementation of such algorithm in a peer-to-peer architecture.

[1]  M. Bonifacio,et al.  Enabling Distributed Knowledge Management: Managerial and Technological Implications , 2002 .

[2]  Floris Roelofsen,et al.  Complexity of Contextual Reasoning , 2004, AAAI.

[3]  Boris Motik,et al.  Managing multiple and distributed ontologies on the Semantic Web , 2003, The VLDB Journal.

[4]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

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

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

[7]  Fausto Giunchiglia,et al.  ML Systems: A Proof Theory for Contexts , 2002, J. Log. Lang. Inf..

[8]  Michel C. A. Klein,et al.  Integrity and Change in Modular Ontologies , 2003, IJCAI.

[9]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[10]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

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

[12]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[13]  Mark A. Musen,et al.  The PROMPT suite: interactive tools for ontology merging and mapping , 2003, Int. J. Hum. Comput. Stud..

[14]  Riichiro Mizoguchi,et al.  An Environment for Distributed Ontology Development Based on Dependency Management , 2003, SEMWEB.

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

[16]  Peter F. Patel-Schneider,et al.  FaCT and DLP , 1998, TABLEAUX.