Revision of DL-Lite knowledge bases
File version
Author(s)
Wang, K
Topor, R
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
B. C. Grau, I. Horrocks, B. Motik, U. Sattler
Date
Size
202763 bytes
File type(s)
application/pdf
Location
Oxford, UK
License
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.
Journal Title
Conference Title
CEUR Workshop Proceedings
Book Title
Edition
Volume
477
Issue
Thesis Type
Degree Program
School
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© The Author(s) 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.
Item Access Status
Note
Access the data
Related item(s)
Subject
Information systems