Revision of DL-Lite knowledge bases

File Size Format
60554_1.pdf 198Kb Adobe PDF View
Title Revision of DL-Lite knowledge bases
Author Wang, Jack; Wang, Kewen; Topor, Rodney William
Publication Title Proceedings of the 22nd International Workshop on Description Logics (DL 2009)
Editor B. C. Grau, I. Horrocks, B. Motik, U. Sattler
Year Published 2009
Place of publication Aachen
Abstract We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communities, but the existing proposals are restricted in several ways. In this paper we develop a formal framework for revision of DL-Lite KBs, using techniques that are analogous to those for model-based revision in propositional logic. However, unlike propositional logic, a DL-Lite KB can have infinitely many models, which makes it hard to define and compute revision in terms of models. For this reason, we first develop an alternative semantic characterization for DL-Lite by introducing the concept of a feature and then define a specific revision operator for DL-Lite KBs based on features (instead of models). In contrast to previous approaches, we tackle the problem of revision between KBs, and the result of revision is always an unique DL-Lite KB. We also present an algorithm for computing KB revisions in DL-Lite.
Peer Reviewed Yes
Published Yes
Publisher URI
Copyright Statement Copyright remains with the authors 2009. The attached file is posted here with permission of the copyright owners for your personal use only. No further distribution permitted. For information about this conference please refer to the publisher's website or contact the authors.
ISBN 1613-0073
Conference name 22nd International Workshop on Description Logics
Location Oxford, UK
Date From 2009-07-27
Date To 2009-07-30
Date Accessioned 2010-03-01
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject PRE2009-Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice