Uniform Interpolation for ALC Revisited

The notion of uniform interpolation for description logic ALC has been introduced in [9]. In this paper, we reformulate the uniform interpolation for ALC from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our algorithm using the Tableau for ALC. Our results have been used to compute forgetting for ALC knowledge bases.

[1]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[2]  R. Reiter,et al.  Forget It ! , 1994 .

[3]  Silvio Ghilardi,et al.  An Algebraic Theory of Normal Forms , 1995, Ann. Pure Appl. Log..

[4]  A. Visser.  Uniform interpolation and layered bisimulation , 1996 .

[5]  J. Lang,et al.  Propositional Independence - Formula-Variable Independence and Forgetting , 2011, J. Artif. Intell. Res..

[6]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[7]  Willem Conradie,et al.  Definitorially Complete Description Logics , 2006, KR.

[8]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

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

[10]  Boris Konev,et al.  The Logical Difference Problem for Description Logic Terminologies , 2008, IJCAR.

[11]  Kewen Wang,et al.  Semantic forgetting in answer set programming , 2008, Artif. Intell..

[12]  Jeff Z. Pan,et al.  Forgetting Concepts in DL-Lite , 2008, ESWC.

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

[14]  Yan Zhang,et al.  Knowledge forgetting: Properties and applications , 2009, Artif. Intell..

[15]  Sean Bechhofer,et al.  OWL: Web Ontology Language , 2009, Encyclopedia of Database Systems.

[16]  Jeff Z. Pan,et al.  Concept and Role Forgetting in ALC Ontologies , 2009, ISWC 2009.

[17]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[18]  Boris Konev,et al.  Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies , 2009, IJCAI.

[19]  Jeff Z. Pan,et al.  Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies , 2009, International Semantic Web Conference.