DL-Lite Contraction and Revision

Two essential tasks in managing description logic knowledge bases are eliminating problematic axioms and incorporating newly formed ones. Such elimination and incorporation are formalised as the operations of contraction and revision in belief change. In this paper, we deal with contraction and revision for the DL-Lite family through a model-theoretic approach. Standard description logic semantics yields an infinite number of models for DL-Lite knowledge bases, thus it is difficult to develop algorithms for contraction and revision that involve DL models. The key to our approach is the introduction of an alternative semantics called type semantics which can replace the standard semantics in characterising the standard inference tasks of DL-Lite. Type semantics has several advantages over the standard one. It is more succinct and importantly, with a finite signature, the semantics always yields a finite number of models. We then define model-based contraction and revision functions for DL-Lite knowledge bases under type semantics and provide representation theorems for them. Finally, the finiteness and succinctness of type semantics allow us to develop tractable algorithms for instantiating the functions.

[1]  Renata Wassermann,et al.  Base Revision for Ontology Debugging , 2009, J. Log. Comput..

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

[3]  Eduardo L. Fermé,et al.  An Axiomatic Characterization of Ensconcement-Based Contraction , 2008, J. Log. Comput..

[4]  Kewen Wang,et al.  DL-Lite Ontology Revision Based on An Alternative Semantic Characterization , 2015, ACM Trans. Comput. Log..

[5]  Maurizio Lenzerini,et al.  Updating inconsistent Description Logic knowledge bases , 2012, ECAI.

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

[7]  Guilin Qi,et al.  Contraction and Revision over DL-Lite TBoxes , 2014, AAAI.

[8]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[9]  Isaac Levi,et al.  The Fixation of Belief and its Undoing: EXPANSION , 1991 .

[10]  Diego Calvanese,et al.  Capturing model-based ontology evolution at the instance level: The case of DL-Lite , 2013, J. Comput. Syst. Sci..

[11]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[12]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[13]  Sven Ove Hansson,et al.  Belief contraction without recovery , 1991, Stud Logica.

[14]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[15]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[16]  Sven Ove Hansson,et al.  A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.

[17]  Grigoris Antoniou,et al.  Minimal change: Relevance and recovery revisited , 2013, Artif. Intell..

[18]  Evgeny Kharlamov,et al.  Capturing Instance Level Ontology Evolution for DL-Lite , 2011, SEMWEB.

[19]  Maurizio Lenzerini,et al.  On the Evolution of the Instance Level of DL-Lite Knowledge Bases , 2011, Description Logics.

[20]  Bijan Parsia,et al.  Repairing Unsatisfiable Concepts in OWL Ontologies , 2006, ESWC.

[21]  Frank Wolter,et al.  Logic-based ontology comparison and module extraction, with an application to DL-Lite , 2010, Artif. Intell..

[22]  Sven Ove Hansson.  Kernel Contraction , 1994, J. Symb. Log..

[23]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[24]  Diego Calvanese,et al.  Evolution of DL-Lite Knowledge Bases , 2010, SEMWEB.

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

[26]  Maurizio Lenzerini,et al.  On Instance-level Update and Erasure in Description Logic Ontologies , 2009, J. Log. Comput..

[27]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[28]  Jeff Z. Pan,et al.  Approximating OWL-DL Ontologies , 2007, AAAI.

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

[30]  Evgeny Kharlamov,et al.  Ontology Evolution Under Semantic Constraints , 2012, KR.

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

[32]  Sven Ove Hansson,et al.  Local Change , 2002, Stud Logica.