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.

(2018). A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics . Retrieved from http://hdl.handle.net/10446/133451

A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics

Savo, Domenico Fabio
2018-01-01

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.
2018
Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio
File allegato/i alla scheda:
File Dimensione del file Formato  
main.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 126.58 kB
Formato Adobe PDF
126.58 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/133451
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact