Home » Publication » 15145

Dettaglio pubblicazione

2018, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, Pages 653-654

A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics (04b Atto di convegno in volume)

Lembo Domenico, Rosati Riccardo, Savo Domenico Fabio

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
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma