Revision of DL-Lite knowledge bases

Loading...
Thumbnail Image
File version
Author(s)
Wang, Z
Wang, K
Topor, R
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

B. C. Grau, I. Horrocks, B. Motik, U. Sattler

Date
2009
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

Persistent link to this record
Citation