Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

We develop a framework for forgetting concepts and roles (aka uniform interpolation) in terminologies in the lightweight description logic ƐL extended with role inclusions and domain and range restrictions. Three different notions of forgetting, preserving, respectively, concept inclusions, concept instances, and answers to conjunctive queries, with corresponding languages for uniform interpolants are investigated. Experiments based on SNOMED CT (Systematised Nomenclature of Medicine Clinical Terms) and NCI (National Cancer Institute Ontology) demonstrate that forgetting is often feasible in practice for large-scale terminologies.

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

[2]  David Poole,et al.  A Dynamic Approach to Probabilistic Inference using Bayesian Networks , 1990, UAI 1990.

[3]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[4]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[5]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

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

[7]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[8]  John S. Breese,et al.  CONSTRUCTION OF BELIEF AND DECISION NETWORKS , 1992, Comput. Intell..

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

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

[11]  Nevin Lianwen Zhang,et al.  Exploiting Contextual Independence In Probabilistic Inference , 2011, J. Artif. Intell. Res..

[12]  Robert P. Goldman,et al.  From knowledge bases to decision models , 1992, The Knowledge Engineering Review.

[13]  Carsten Lutz,et al.  Conservative Extensions in Expressive Description Logics , 2007, IJCAI.

[14]  Manfred Jaeger,et al.  On the complexity of inference about probabilistic relational models , 2000, Artif. Intell..

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

[16]  Riccardo Rosati,et al.  On Conjunctive Query Answering in EL , 2007, Description Logics.

[17]  Franz Baader,et al.  Pushing the EL Envelope Further , 2008, OWLED.

[18]  Martin Hofmann.  Proof-theoretic approach to description-logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

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

[20]  Luc De Raedt,et al.  Bayesian Logic Programs , 2001, ILP Work-in-progress reports.

[21]  Wray L. Buntine.  Operations for Learning with Graphical Models , 1994, J. Artif. Intell. Res..

[22]  Hans Tompits,et al.  Forgetting in Managing Rules and Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[23]  Francisco Javier Díez,et al.  Efficient computation for the noisy MAX , 2003, Int. J. Intell. Syst..

[24]  Avi Pfeffer,et al.  Probabilistic Frame-Based Systems , 1998, AAAI/IAAI.

[25]  Boris Konev,et al.  Semantic Modularity and Module Extraction in Description Logics , 2008, ECAI.

[26]  Carsten Lutz,et al.  Conservative Extensions in the Lightweight Description Logic EL , 2007, CADE.

[27]  Carsten Lutz,et al.  Deciding inseparability and conservative extensions in the description logic EL , 2010, J. Symb. Comput..

[28]  Nevin Lianwen Zhang,et al.  Exploiting Causal Independence in Bayesian Network Inference , 1996, J. Artif. Intell. Res..

[29]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[30]  David Poole,et al.  Probabilistic Horn Abduction and Bayesian Networks , 1993, Artif. Intell..

[31]  Stuart J. Russell,et al.  Approximate inference for first-order probabilistic languages , 2001, IJCAI.

[32]  Ian Horrocks,et al.  Just the right amount: extracting modules from ontologies , 2007, WWW '07.

[34]  Sherri de Coronado,et al.  NCI Thesaurus: A semantic model integrating cancer-related clinical and molecular information , 2007, J. Biomed. Informatics.