An ABox Revision Algorithm for the Description Logic EL_bot

Revision of knowledge bases (KBs) expressed in description logics (DLs) has gained a lot of attention lately. Existing revision algorithms can be divided into two groups: model-based approaches (MBAs) and formula-based approaches (FBAs). MBAs are fine-grained and independent of the syntactical forms of KBs; however, they only work for some restricted forms of the DL-Lite family. FBAs can deal with more expressive DLs such as SHOIN , but they are syntax-dependent and not fine-grained. In this paper, we present a new method for instancelevel revision of KBs. In our algorithm, a non-redundant depth-bounded model is firstly constructed for the KB to be revised; then a revision process based on justifications is carried out on this model by treating a model as a set of assertions; finally the resulting model is mapped back to a KB which will be returned by the algorithm. Our algorithm is syntax-independent and fine-grained, and works for the DL EL⊥.

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

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

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

[4]  Liang Chang,et al.  A Family of Dynamic Description Logics for Representing and Reasoning About Actions , 2012, Journal of Automated Reasoning.

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

[6]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

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

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

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

[10]  Maurizio Lenzerini,et al.  On the Update of Description Logic Ontologies at the Instance Level , 2006, AAAI.

[11]  Franz Baader,et al.  Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.

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

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

[14]  Liang Chang,et al.  Algorithm for Adapting Cases Represented in a Tractable Description Logic , 2014, ICCBR.

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

[16]  Kewen Wang,et al.  A New Approach to Knowledge Base Revision in DL-Lite , 2010, AAAI.

[17]  Grigoris Antoniou,et al.  Ontology change: classification and survey , 2008, The Knowledge Engineering Review.

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