AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Font Size: 
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics
Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo

Last modified: 2018-09-24

Abstract


In this extended abstract we discuss the relationship between confidentiality-preserving frameworks and inconsistency-tolerant repair and update semantics in Description Logics (DL). In particular, we consider the well-known problems of Consistent Query Answering, Controlled Query Evaluation, and Knowledge Base Update in DL and introduce a unifying framework that can be naturally instantiated to capture significant settings for the above problems, previously investigated in the literature.

Keywords


Consistent Query Answering; Controlled Query Evaluation; Knowledge Base Update; Description Logics

Full Text: PDF