Forgetting for Knowledge Bases in DL-Lite_bool

View/ Open
Author(s)
Wang, Zhe
Wang, Kewen
Topor, Rodney
Year published
2009
Metadata
Show full item recordAbstract
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.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.
View less >
View less >
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.