Controlled Query Evaluation (CQE) preserves confidentiality in query answering over Description Logic ontologies by enforcing data protection policies through a formal notion of censor. This work explores three CQE strategies: computing an optimal censor, reasoning over all optimal censors, and answering queries according to the intersection of all the optimal censors. For such a framework, we present recent data complexity results for lightweight DLs and for the cases in which the query is either a ground atom or a Boolean conjunctive query.
Dettaglio pubblicazione
2025, Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic. 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures, Pages 54-60
Controlled Query Evaluation in Description Logic Ontologies (02a Capitolo o Articolo)
Cima Gianluca, Lembo Domenico, Marconi Lorenzo, Rosati Riccardo, Savo Domenico Fabio
ISBN: 978-3-031-80283-6; 978-3-031-80282-9
keywords