In Controlled Query Evaluation (CQE) confidential data are protected through a declarative policy and a (optimal) censor, which guarantees that answers to queries are maximized without disclosing secrets. In this paper we consider CQE over Description Logic ontologies and study query answering over all optimal censors. We establish data complexity of the problem for ontologies specified in DL-LiteR and for variants of the censor language, which is the language used by the censor to enforce the policy. In our investigation we also analyze the relationship between CQE and the problem of Consistent Query Answering.
A novel approach to controlled query evaluation in DL-Lite / Lembo, D.; Rosati, R.; Savo, D. F.. - 2400:(2019). (Intervento presentato al convegno 27th Italian Symposium on Advanced Database Systems, SEBD 2019 tenutosi a Grosseto; Italy).
A novel approach to controlled query evaluation in DL-Lite
Lembo D.
;Rosati R.
;Savo D. F.
2019
Abstract
In Controlled Query Evaluation (CQE) confidential data are protected through a declarative policy and a (optimal) censor, which guarantees that answers to queries are maximized without disclosing secrets. In this paper we consider CQE over Description Logic ontologies and study query answering over all optimal censors. We establish data complexity of the problem for ontologies specified in DL-LiteR and for variants of the censor language, which is the language used by the censor to enforce the policy. In our investigation we also analyze the relationship between CQE and the problem of Consistent Query Answering.| File | Dimensione | Formato | |
|---|---|---|---|
|
Lembo_A-novel-approach_2019.pdf
accesso aperto
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Creative commons
Dimensione
456.38 kB
Formato
Adobe PDF
|
456.38 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
