We study privacy-preserving query answering in Description Logics (DLs). Specifically, we consider the approach of controlled query evaluation (CQE) based on the notion of instance indistinguishability. We derive data complexity results for query answering over DL-LiteR ontologies, through a comparison with an alternative, existing confidentiality-preserving approach to CQE. Finally, we identify a semantically well-founded notion of approximated query answering for CQE, and prove that, for DL-LiteR ontologies, this form of CQE is tractable with respect to data complexity and is first-order rewritable, i.e., it is always reducible to the evaluation of a first-order query over the data instance.
Controlled query evaluation in description logics through instance indistinguishability / Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio. - (2020), pp. 1791-1797. (Intervento presentato al convegno International Joint Conference on Artificial Intelligence tenutosi a Yokohama; Japan) [10.24963/ijcai.2020/248].
Controlled query evaluation in description logics through instance indistinguishability
Gianluca Cima
;Domenico Lembo
;Riccardo Rosati
;Domenico Fabio Savo
2020
Abstract
We study privacy-preserving query answering in Description Logics (DLs). Specifically, we consider the approach of controlled query evaluation (CQE) based on the notion of instance indistinguishability. We derive data complexity results for query answering over DL-LiteR ontologies, through a comparison with an alternative, existing confidentiality-preserving approach to CQE. Finally, we identify a semantically well-founded notion of approximated query answering for CQE, and prove that, for DL-LiteR ontologies, this form of CQE is tractable with respect to data complexity and is first-order rewritable, i.e., it is always reducible to the evaluation of a first-order query over the data instance.File | Dimensione | Formato | |
---|---|---|---|
Cima_Controlled-Query_2020.pdf
accesso aperto
Note: https://doi.org/10.24963/ijcai.2020/248
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
146.33 kB
Formato
Adobe PDF
|
146.33 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.