Forgetting for Knowledge Bases in DL-Lite_bool.

We address the problem of term elimination in DLLite ontologies by adopting techniques from classical forgetting theory. Specifically, we generalize our previous results on forgetting in DL-Litecore TBox to forgetting in DL-Litebool 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.