AAAI Publications, Twenty-First International Joint Conference on Artificial Intelligence

Font Size: 
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies
Boris Konev, Dirk Walther, Frank Wolter

Last modified: 2009-06-25


We develop a framework for forgetting concepts and roles (aka uniform interpolation) in terminologies in the lightweight description logic EL 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.


Knowledge Representation; Reasoning and Logic; Description Logics; Ontologies

Full Text: PDF