CQE in Description Logics Through Instance Indistinguishability (extended version)

04/24/2020
by   Gianluca Cima, et al.
0

We study privacy-preserving query answering in Description Logics (DLs). Specifically, we consider the approach of controlled query evaluation (CQE) based on the notion of instance indistinguishability. We derive data complexity results for query answering over DL-Lite_ℛ ontologies, through a comparison with an alternative, existing confidentiality-preserving approach to CQE. Finally, we identify a semantically well-founded notion of approximated query answering for CQE, and prove that, for DL-Lite_ℛ ontologies, this form of CQE is tractable with respect to data complexity and is first-order rewritable, i.e., it is always reducible to the evaluation of a first-order query over the data instance.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

03/20/2020

Temporal Conjunctive Query Answering in the Extended DL-Lite Family

Ontology-based query answering (OBQA) augments classical query answering...
02/04/2014

Reasoning about Explanations for Negative Query Answers in DL-Lite

In order to meet usability requirements, most logic-based applications p...
04/19/2018

A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies

Conjunctive query answering over expressive Horn Description Logic ontol...
11/21/2012

An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World

This paper describes the analysis of a selected testbed of Semantic Web ...
11/29/2013

Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report)

The use of preferences in query answering, both in traditional databases...
05/28/2020

No-Go Theorems for Data Privacy

Controlled query evaluation (CQE) is an approach to guarantee data priva...
08/06/2018

Query Answering for Rough EL Ontologies (Extended Technical Report)

Querying large datasets with incomplete and vague data is still a challe...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.