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.