We study Controlled Query Evaluation (CQE), a declarative approach to privacy-preserving query answering. In particular, we focus on the application of CQE to ontologies and analyze the possibility of using role cardinality restrictions in the formulas expressing a data protection policy. We start from an existing framework for CQE over DL-Lite ontologies, and extend the policy language of the existing framework defining a class of formulas (called numerical restriction axioms) with role number restrictions. We show that the computational properties of the existing framework are not affected by the extension of the policy language. In particular, conjunctive query answering over DL-Lite(H,horn) ontologies under the CQE semantics (IGA) is still FO-rewritable and is in AC0 with respect to data complexity.

(2021). Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions . Retrieved from http://hdl.handle.net/10446/201347

Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions

Savo, Domenico Fabio;
2021-01-01

Abstract

We study Controlled Query Evaluation (CQE), a declarative approach to privacy-preserving query answering. In particular, we focus on the application of CQE to ontologies and analyze the possibility of using role cardinality restrictions in the formulas expressing a data protection policy. We start from an existing framework for CQE over DL-Lite ontologies, and extend the policy language of the existing framework defining a class of formulas (called numerical restriction axioms) with role number restrictions. We show that the computational properties of the existing framework are not affected by the extension of the policy language. In particular, conjunctive query answering over DL-Lite(H,horn) ontologies under the CQE semantics (IGA) is still FO-rewritable and is in AC0 with respect to data complexity.
2021
Cima, Gianluca; Lembo, Domenico; Marconi, Loreno; Rosati, Riccardo; Savo, Domenico Fabio; Sinibaldi, Daniele
File allegato/i alla scheda:
File Dimensione del file Formato  
AIKE-21.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 284.9 kB
Formato Adobe PDF
284.9 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/201347
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact