Reasoning and change management in modular ontologies

The benefits of modular representations are well known from many areas of computer science. While in software engineering modularization is mainly a vehicle for supporting distributed development and re-use, in knowledge representation, the main goal of modularization is efficiency of reasoning. In this paper, we concentrate on the benefits of modularization in the context of ontologies, explicit representations of the terminology used in a domain. We define a formal representation for modular ontologies based on the notion of Distributed Description Logics and introduce an architecture that supports local reasoning by compiling implied axioms. We further address the problem of guaranteeing the correctness and completeness of compiled knowledge in the presence of changes in different modules. We propose a heuristic for analyzing changes and their impact on compiled knowledge and guiding the process of updating compiled information that can often reduce the effort of maintaining a modular ontology by avoiding unnecessary re-compilation.

[1]  Michel C. A. Klein,et al.  Change Management for Distributed Ontologies , 2004 .

[2]  Glenn Shafer,et al.  Readings in Uncertain Reasoning , 1990 .

[3]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[4]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[5]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE , 2002, Lecture Notes in Computer Science.

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

[7]  Alexander Borgida,et al.  Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources , 2002, OTM.

[8]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[9]  J. Gonzalez-Castillo,et al.  Description logics for matchmaking of services , 2001 .

[10]  Alex Borgiday.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996 .

[11]  Luciano Serafini,et al.  Distributed First Order Logic - revised semantics , 2005 .

[12]  Bijan Parsia,et al.  Modularity and Web Ontologies , 2006, KR.

[13]  Daniel Oberle,et al.  Towards a modularized semantic web , 2002 .

[14]  Ian Horrocks,et al.  OWL-QL - a language for deductive query answering on the Semantic Web , 2004, J. Web Semant..

[15]  Alan L. Rector,et al.  Modularisation of domain ontologies implemented in description logics and related formalisms including OWL , 2003, K-CAP '03.

[16]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[17]  Enrico Franconi,et al.  A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases , 2000, Computational Logic.

[18]  Mark A. Musen,et al.  The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility , 2000, EKAW.

[19]  Heiner Stuckenschmidt,et al.  A Formal Investigation of Mapping Language for Terminological Knowledge , 2005, IJCAI.

[20]  Ian Horrocks,et al.  Using Vampire to Reason with OWL , 2004, SEMWEB.

[21]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[22]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[23]  Werner Nutt,et al.  Terminological Systems Revisited: Terminology = Schema + Views , 1994, KRDB.

[24]  Steffen Staab,et al.  Views for light-weight Web ontologies , 2003, SAC '03.

[25]  Sheila A. McIlraith,et al.  Partition-Based Logical Reasoning , 2000, KR.

[26]  Frank van Harmelen,et al.  Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema , 2002, SEMWEB.

[27]  Ian Horrocks,et al.  A software framework for matchmaking based on semantic web technology , 2003, WWW '03.

[28]  James A. Hendler,et al.  Web ontology language (OWL) reference version 1 , 2002 .

[29]  Dan Brickley,et al.  Resource description framework (RDF) schema specification , 1998 .

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

[31]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[32]  Frank van Harmelen,et al.  Information Sharing on the Semantic Web , 2004, Advanced Information and Knowledge Processing.

[33]  Peter Clark,et al.  Knowledge entry as the graphical assembly of components , 2001, K-CAP '01.

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

[35]  William M. Farmer,et al.  Little Theories , 1992, CADE.

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

[37]  Jeffrey D. Ullman,et al.  Information integration using logical views , 1997, Theor. Comput. Sci..

[38]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[39]  Franz Baader,et al.  KI 2001: Advances in Artificial Intelligence , 2001, Lecture Notes in Computer Science.

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

[41]  Enrico Motta,et al.  Proceedings of the 8th International Semantic Web Conference , 2009 .

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

[43]  Nicola Guarino,et al.  WonderWeb Deliverable D18 Ontology Library , 2003 .

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

[45]  Fausto Giunchiglia,et al.  What is Local Models Semantics , 2002 .

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

[47]  Sheila A. McIlraith,et al.  Theorem Proving with Structured Theories , 2001, IJCAI.

[48]  Michel C. A. Klein,et al.  Reasoning and change management in modular ontologies , 2007, Data Knowl. Eng..

[49]  Ian Horrocks,et al.  A Conjunctive Query Language for Description Logic Aboxes , 2000, AAAI/IAAI.

[50]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[51]  Werner Nutt,et al.  Refining the Structure of Terminological Systems: Terminology = Schema + Views , 1994, AAAI.

[52]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[53]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[54]  Ian Horrocks,et al.  The OWL Instance Store: System Description , 2005, CADE.