Revision of DL-Lite Knowledge Bases

We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communities, but the existing proposals are restricted in several ways. In this paper we develop a formal framework for revision of DL-Lite KBs, using techniques that are analogous to those for model-based revision in propositional logic. However, unlike propositional logic, a DL-Lite KB can have infinitely many models, which makes it hard to define and compute revision in terms of models. For this reason, we first develop an alternative semantic characterization for DL-Lite by introducing the concept of a feature and then define a specific revision operator for DL-Lite KBs based on features (instead of models). In contrast to previous approaches, we tackle the problem of revision between KBs, and the result of revision is always an unique DL-Lite KB. We also present an algorithm for computing KB revisions in DL-Lite.

[1]  Bijan Parsia,et al.  Description Logic Reasoning for Dynamic ABoxes , 2006, Description Logics.

[2]  Yarden Katz,et al.  Belief Base Revision for Expressive Description Logics , 2006, OWLED.

[3]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[4]  Maurizio Lenzerini,et al.  On the Approximation of Instance Level Update and Erasure in Description Logics , 2007, AAAI.

[5]  Johanna Völker,et al.  A Kernel Revision Operator for Terminologies - Algorithms and Evaluation , 2008, International Semantic Web Conference.

[6]  Guilin Qi,et al.  Knowledge Base Revision in Description Logics , 2006, JELIA.

[7]  Carsten Lutz,et al.  Updating Description Logic ABoxes , 2006, KR.

[8]  Grigoris Antoniou,et al.  On Applying the AGM Theory to DLs and OWL , 2005, SEMWEB.

[9]  Eduardo L. Fermé,et al.  Belief Revision , 2007, Inteligencia Artif..

[10]  Frank Wolter,et al.  Can You Tell the Difference Between DL-Lite Ontologies? , 2008, KR.

[11]  M. M. Ribeiro,et al.  Base Revision in Description Logics-Preliminary Results , 2007 .

[12]  Jeff Z. Pan,et al.  Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.

[13]  Diego Calvanese,et al.  DL-Lite in the Light of First-Order Logic , 2007, AAAI.

[14]  Richard Booth,et al.  Knowledge Integration for Description Logics , 2005, AAAI.

[15]  Diego Calvanese,et al.  Data Complexity of Query Answering in Description Logics , 2006, Description Logics.

[16]  Ken Satoh.  Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.