Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract)

This work summarizes our paper accepted to the 24th International Semantic Web Conference focusing on Controlled Query Evaluation over Description Logics ontologies. We express the data protection policy using epistemic dependencies (EDs), and use optimal ground atom (GA) censors as tools for exposing the facts entailed by the ontology in a maximal, policy-compliant way. We study the complexity of answering Boolean unions of conjunctive queries with respect to the intersection of all optimal GA censors. We identify a class of EDs for which the examined entailment problem over DL-Lite_R ontologies is first-order rewritable, and we empirically validate the efficiency of our method.