A New Approach to Knowledge Base Revision in DL-Lite

No Thumbnail Available
File version
Author(s)
Wang, Zhe
Wang, Kewen
Topor, Rodney
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Maria Fox and David Poole

Date
2010
Size
File type(s)
Location

Atlanta, GA

License
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.

Journal Title
Conference Title

PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10)

Book Title
Edition
Volume

1

Issue
Thesis Type
Degree Program
School
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Numerical and computational mathematics not elsewhere classified

Persistent link to this record
Citation