Controlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies

Gianluca Cima (1) , Domenico Lembo (2) , Lorenzo Marconi (2) , Riccardo Rosati (2) , Domenico Fabio Savo (3)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 UNIROMA - Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
3 UniBg - Università degli Studi di Bergamo = University of Bergamo

We study information disclosure in Description Logic ontologies, in the spirit of Controlled Query Evaluation, where query answering is filtered through optimal censors maximizing answers while hiding data protected by a declarative policy. Previous works have considered limited forms of policy, typically constituted by conjunctive queries (CQs), whose answer must never be inferred by a user. Also, existing implementations adopt approximated notions of censors that might result too restrictive in the practice in terms of the amount of non-protected information returned to the users. In this paper we enrich the framework, by extending CQs in the policy with comparison predicates and introducing preferences between ontology predicates, which can be exploited to decide the portion of a secret that can be disclosed to a user, thus in principle augmenting the throughput of query answers. We show that answering CQs in our framework is first-order rewritable for DL-LiteA ontologies and safe policies, and thus in AC0 in data complexity. We also present some experiments on a popular benchmark, showing effectiveness and feasibility of our approach in a real-world scenario.

Domaines: Intelligence artificielle [cs.AI]

Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo. Controlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies. The Semantic Web - ISWC 2021 - 20th International Semantic Web Conference, ISWC 2021, Oct 2021, Virtual Event, France. pp.374-391. ⟨hal-03609543⟩