A New Approach to Knowledge Base Revision in DL-Lite

There are no files associated with this record.

Title A New Approach to Knowledge Base Revision in DL-Lite
Author WANG, Zhe; Wang, Kewen; Topor, Rodney William
Publication Title Proceedings of the Twenty-fourth AAAI Conference on Artificial Intelligence and the Twenty-second Innovative Applications of Artificial Intelligence Conference, the First Symposium on Educational Advance (AAAI-10)
Editor Maria Fox and David Poole
Year Published 2010
Place of publication United States
Publisher AAAI Press
Abstract Revising knowledge bases (KBs) in description logics (DLs) in a syntax-independent manner is an important, nontrivial problem for the ontology management and DL communities. Several attempts have been made to adapt classical modelbased belief revision and update techniques to DLs, but they are restricted in several ways. In particular, they do not provide operators or algorithms for general DL KB revision. The key difficulty is that, unlike propositional logic, a DL KB may have infinitely many models with complex (and possibly infinite) structures, making it difficult to define and compute revisions in terms of models. In this paper, we study general KBs in a specific DL in the DL-Lite family. We introduce the concept of features for such KBs, develop an alternative semantic characterization of KBs using features (instead of models), define two specific revision operators for KBs, and present the first algorithm for computing best approximations for syntax-independent revisions of KBs.
Peer Reviewed Yes
Published Yes
Alternative URI http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1786
ISBN 9781577354635
Conference name The Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10)
Location Atlanta, Georgia, USA
Date From 2010-07-11
Date To 2010-07-15
URI http://hdl.handle.net/10072/37302
Date Accessioned 2011-02-04
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Numerical and Computational Mathematics
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice