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.

Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions / Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio; Sinibaldi, Daniele. - (2021), pp. 33-36. (Intervento presentato al convegno 4th Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021 tenutosi a Virtual Event) [10.1109/AIKE52691.2021.00012].

Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions

Gianluca Cima;Domenico Lembo;Lorenzo Marconi;Riccardo Rosati;Domenico Fabio Savo;
2021

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
4th Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021
Description Logics; Information Disclosure; Numerical Restrictions; First-Order Rewritability
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions / Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio; Sinibaldi, Daniele. - (2021), pp. 33-36. (Intervento presentato al convegno 4th Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021 tenutosi a Virtual Event) [10.1109/AIKE52691.2021.00012].
File allegati a questo prodotto
File Dimensione Formato  
Cima_postprint_Controlled-Query_Evaluation_2021.pdf.pdf

accesso aperto

Tipologia: Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza: Creative commons
Dimensione 284.9 kB
Formato Adobe PDF
284.9 kB Adobe PDF
Cima_Controlled-Query_Evaluation_2021.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 630.84 kB
Formato Adobe PDF
630.84 kB Adobe PDF   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1594479
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact