Forgetting for knowledge bases in DL-Lite

There are no files associated with this record.

Title Forgetting for knowledge bases in DL-Lite
Author Wang, Jack; Wang, Kewen; Topor, Rodney William; Pan, Jeff Z.
Journal Name Annals of Mathematics and Artificial Intelligence
Year Published 2010
Place of publication Netherlands
Publisher Springer
Abstract To support the reuse and combination of ontologies in Semantic Web applications, it is often necessary to obtain smaller ontologies from existing larger ontologies. In particular, applications may require the omission of certain terms, e. g., concept names and role names, from an ontology. However, the task of omitting terms from an ontology is challenging because the omission of some terms may affect the relationships between the remaining terms in complex ways.We present the first solution to the problem of omitting concepts and roles from knowledge bases of description logics (DLs) by adapting the technique of forgetting, previously used in other domains. Specifically, we first introduce a model-theoretic definition of forgetting for knowledge bases (both TBoxes and ABoxes) in DL-LiteNbool, which is a non-trivial adaption of the standard definition for classical logic, and show that our model-based forgetting satisfies all major criteria of a rational forgetting operator, which in turn verifies the suitability of our model-based forgetting. We then introduce algorithms that implement forgetting operations in DL-Lite knowledge bases. We prove that the algorithms are correct with respect to the semantic definition of forgetting.We establish a general framework for defining and comparing different definitions of forgetting by introducing a parameterized family of forgetting operators called query-based forgetting operators. In this framework we identify three specific query-based forgetting operators and show that they form a hierarchy. In particular, we show that the model-based forgetting coincides with one of these query-based forgetting operators.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/s10472-010-9187-9
Volume 58
Issue Number 1-2
Page from 117
Page to 151
ISSN 1012-2443
Date Accessioned 2011-01-07
Date Available 2011-03-22T07:04:45Z
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Artificial Intelligence and Image Processing
URI http://hdl.handle.net/10072/37492
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1

Show simple item record

Griffith University copyright notice