Reasoning on Dynamically Built Reasoning Space with Ontology Modules

Several applications require reasoning over autonomously developed ontologies. Initially conceived to make explicit the semantics of a certain domain, these ontologies become a powerful tool for supporting business interactions, once heterogeneities have been solved and inconsistencies eliminated. Unfortunately, a stable coherent logical state is hard to maintain in such an environment, due to normal evolution carried out independently over individual ontologies. As a result, reasoning over autonomously developed ontologies has to face with both heterogeneity and inconsistency, in order to assure correct answering. In this paper we study the problem arising in these settings. We propose an incremental reasoning approach based on a virtual reasoning space that is filled with relevant ontology entities as query answering progresses. We show how to compute the set of relevant entities with respect to a user query and present an algorithm for reasoning with dynamically built reasoning spaces.

[1]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[2]  Mark S. Fox,et al.  An organizational ontology for enterprise modeling , 1998 .

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

[4]  Holger Lausen,et al.  D2v02. Web Service Modeling Ontology - Standard (WSMO - Standard) , 2004 .

[5]  Diego Calvanese,et al.  View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness , 2005, ICDT.

[6]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.

[7]  Mohand-Said Hacid,et al.  On automating Web services discovery , 2003, The VLDB Journal.

[8]  Volker Haarslev,et al.  Racer: An OWL Reasoning Agent for the Semantic Web , 2003 .

[9]  Stephen F. Smith,et al.  An Ontology for Multi-Modal Transportation Planning and Scheduling , 1999 .

[10]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[11]  Paolo Bouquet,et al.  KEEx: A Peer-to-Peer Solution for Distributed Knowledge Management , 2002, P2PKM.

[12]  Carole A. Goble,et al.  Ontology-based Knowledge Representation for Bioinformatics , 2000, Briefings Bioinform..

[13]  Ian Horrocks,et al.  Querying the Semantic Web: A Formal Approach , 2002, SEMWEB.

[14]  Michel C. A. Klein,et al.  Modularization of Ontologies WonderWeb: Ontology Infrastructure for the Semantic Web , 2001 .

[15]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[16]  Michael Kifer,et al.  WSMO Web Service Discovery , 2004 .

[17]  Stefano Spaccapietra,et al.  On Spatial Database Integration , 1998, Int. J. Geogr. Inf. Sci..

[18]  Stefano Spaccapietra,et al.  Modelling and Manipulating Multiple Representations of Spatial Data , 2002 .

[19]  Karl Aberer,et al.  Indexing Data-oriented Overlay Networks , 2005, VLDB.

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

[21]  Michael Grüninger,et al.  Ontologies to Support Process Integration in Enterprise Engineering , 2000, Comput. Math. Organ. Theory.