Forgetting for Knowledge Bases in DL-Lite_bool.
Jianguo Wang, Kewen Wang, Rodney W. Topor · Griffith Research Online · 2009
We address the problem of term elimination in DL-Lite ontologies by adopting techniques from clas-sical 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 unify-ing framework for defining and comparing different definitions of forgetting in DL-Lite ontologies. 1