Forgetting for Knowledge Bases in DL-Lite_bool
Abstract
We address the problem of term elimination in DL-Lite ontologies by adopting techniques from classical forgetting theory. Specifically, we generalize our previous results on forgetting in DL-Lite_core TBox to forgetting in DL-Lite_bool KBs. We also introduce query-based forgetting, a parameterized definition of forgetting, which provides a unifying framework for defining and comparing different definitions of forgetting in DL-Lite ontologies.
Conference Title
Proceedings of the IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution
Publisher URI
Copyright Statement
© 2009 AAAI Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the conference's website for access to the definitive, published version.