{"type":"ScholarlyArticle","title":"Enhancing Controlled Query Evaluation through Epistemic Policies","authors":[{"name":"Gianluca Cima","slug":"gianluca-cima","given":"Gianluca","family":"Cima","affiliation":"Sapienza University of Rome"},{"name":"Domenico Lembo","slug":"domenico-lembo","given":"Domenico","family":"Lembo","affiliation":"Sapienza University of Rome"},{"name":"Lorenzo Marconi","slug":"lorenzo-marconi","given":"Lorenzo","family":"Marconi","affiliation":"Sapienza University of Rome"},{"name":"Riccardo Rosati","slug":"riccardo-rosati","given":"Riccardo","family":"Rosati","affiliation":"Sapienza University of Rome"},{"name":"Domenico Fabio Savo","slug":"domenico-fabio-savo","given":"Domenico Fabio","family":"Savo","affiliation":"University of Bergamo"}],"abstract":"In this paper, we propose the use of epistemic dependencies to express data protection policies in Controlled Query Evaluation (CQE), which is a form of confidentiality-preserving query answering over ontologies and databases. The resulting policy language goes significantly beyond those proposed in the literature on CQE so far, allowing for very rich and practically interesting forms of data protection rules. We show the expressive abilities of our framework and study the data complexity of CQE for (unions of) conjunctive queries when ontologies are specified in the Description Logic DL-LiteR. Interestingly, while we show that the problem is in general intractable, we prove tractability for the case of acyclic epistemic dependencies by providing a suitable query rewriting algorithm. The latter result paves the way towards the implementation and practical application of this new approach to CQE.","doi":"10.24963/ijcai.2024/366","url":"https://ijcai.org/proceedings/2024/366","pdf":"https://ijcai.org/proceedings/2024/0366.pdf","markdown":"https://ijcai.org/proceedings/2024/366.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/366","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":366,"pages":{"first":3307,"last":3314},"keywords":["Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning","Knowledge Representation and Reasoning: KRR: Description logics and ontologies"],"videos":[],"references":[{"position":1,"raw":"[Baader et al., 2005] Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 364-369, 2005.","title":"Pushing the EL envelope","authors":"Baader","year":"2005","venue":"Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baader et al., 2020] Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, and Rafael Peñaloza. Computing compliant anonymisations of quantified ABoxes w.r.t. EL policies. In Proc. of the 19th Int. Semantic Web Conf. (ISWC), volume 12506 of Lecture Notes in Computer Science, pages 3-20. Springer, 2020.","title":"Computing compliant anonymisations of quantified ABoxes w.r.t. EL policies","authors":"Baader","year":"2020","venue":"Proc. of the 19th Int. Semantic Web Conf. (ISWC)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Biskup and Bonatti, 2004] Joachim Biskup and Piero A. Bonatti. Controlled query evaluation for enforcing con- fidentiality in complete information systems. Int. J. Inf. Sec., 3(1):14-27, 2004.","title":"Controlled query evaluation for enforcing confidentiality in complete information systems","authors":"Bonatti Biskup, Joachim Biskup, Piero A Bonatti","year":"2004","venue":"Int. J. Inf. Sec","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Biskup and Weibert, 2008] Joachim Biskup and Torben Weibert. Keeping secrets in incomplete databases. Int. J. Inf. Sec., 7(3):199-217, 2008.","title":"Keeping secrets in incomplete databases","authors":"Weibert Biskup, Joachim Biskup, Torben Weibert","year":"2008","venue":"Int. J. Inf. Sec","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Biskup, 2000] Joachim Biskup. For unknown secrecies re- fusal is better than lying. Data and Knowledge Engineer- ing, 33(1):1-23, 2000.","title":"For unknown secrecies refusal is better than lying","authors":"Joachim Biskup, Biskup","year":"2000","venue":"Data and Knowledge Engineering","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bonatti and Sauro, 2013] Piero A. Bonatti and Luigi Sauro. A confidentiality model for ontologies. In Proc. of the 12th Int. Semantic Web Conf. (ISWC), pages 17-32, 2013.","title":"A confidentiality model for ontologies","authors":"A Piero, Luigi Bonatti, Sauro","year":"2013","venue":"Proc. of the 12th Int. Semantic Web Conf. (ISWC)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Bonatti et al., 2022] Piero Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, and Domenico Fabio Savo. Controlled query evaluation in OWL 2 QL: A \"longest honeymoon\" approach. In Proc. of the 21st Int. Semantic Web Conf. (ISWC), volume 12922 of Lecture Notes in Computer Science, pages 428-444. Springer, 2022.","title":"Controlled query evaluation in OWL 2 QL: A \"longest honeymoon\" approach","authors":"Piero Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo","year":"2022","venue":"Proc. of the 21st Int. Semantic Web Conf. (ISWC)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Bonatti, 2022] Piero A. Bonatti. A false sense of security. Artificial Intelligence, 310, 2022.","title":"A false sense of security","authors":"A Piero, Bonatti","year":"2022","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Calvanese et al., 2007a] Diego Calvanese, Giuseppe De Gi- acomo, Domenico Lembo, Maurizio Lenzerini, and Ric- cardo Rosati. EQL-Lite: Effective first-order query pro- cessing in description logics. In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 274-279, 2007.","title":"EQL-Lite: Effective first-order query processing in description logics","authors":"Calvanese","year":"2007","venue":"Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2007/42"},{"position":10,"raw":"[Calvanese et al., 2007b] Diego Calvanese, Giuseppe De Gi- acomo, Domenico Lembo, Maurizio Lenzerini, and Ric- cardo Rosati. Tractable reasoning and efficient query an- swering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3):385-429, 2007.","title":"Tractable reasoning and efficient query an-swering in description logics: The DL-Lite family","authors":"Calvanese","year":"2007","venue":"J. of Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Cima et al., 2021] Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, and Domenico Fabio Savo. Controlled query evaluation over prioritized ontolo- gies with expressive data protection policies. In Proc. of the 20th Int. Semantic Web Conf. (ISWC), volume 12922 of Lecture Notes in Computer Science, pages 374-391. Springer, 2021.","title":"Controlled query evaluation over prioritized ontologies with expressive data protection policies","authors":"Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo","year":"2021","venue":"Proc. of the 20th Int. Semantic Web Conf. (ISWC)","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Cima et al., 2024] Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, and Domenico Fabio Savo. Controlled query evaluation through epistemic dependencies. CoRR, abs/2405.02458, 2024.","title":"Controlled query evaluation through epistemic dependencies","authors":"Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo","year":"2024","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Console and Lenzerini, 2020] Marco Console and Maurizio Lenzerini. Epistemic integrity constraints for ontology- based data management. In Proc. of the 37th AAAI Conf. on Artificial Intelligence (AAAI), pages 2790-2797. AAAI Press, 2020.","title":"Epistemic integrity constraints for ontologybased data management","authors":"Marco Console, Maurizio Lenzerini","year":"2020","venue":"Proc. of the 37th AAAI Conf. on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Cuenca Grau et al., 2013] Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, and Dmitriy Zheleznyakov. Controlled query evaluation over OWL 2 RL ontologies. In Proc. of the 12th Int. Semantic Web Conf. (ISWC), pages 49-65, 2013.","title":"Controlled query evaluation over OWL 2 RL ontologies","authors":"Evgeny Bernardo Cuenca Grau, Kharlamov, V Egor, Dmitriy Kostylev, Zheleznyakov","year":"2013","venue":"Proc. of the 12th Int. Semantic Web Conf. (ISWC)","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Cuenca Grau et al., 2015] Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, and Dmitriy Zheleznyakov. Controlled query evaluation for datalog and OWL 2 profile ontologies. In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 2883-2889, 2015.","title":"Controlled query evaluation for datalog and OWL 2 profile ontologies","authors":"Evgeny Bernardo Cuenca Grau, Kharlamov, V Egor, Dmitriy Kostylev, Zheleznyakov","year":"2015","venue":"Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2015/408"},{"position":16,"raw":"[European Union, 2016] European Union. Regulation (EU) 2016/679 of the European Parliament and of the Coun- cil of 27 April 2016. Official J. of the European Union, L 119:48, 2016.","title":"European Union. Regulation (EU) 2016/679 of the European Parliament and of the Council of 27 April 2016","authors":null,"year":"2016","venue":"Official J. of the European Union","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Lembo et al., 2019] Domenico Lembo, Riccardo Rosati, and Domenico Fabio Savo. Revisiting controlled query evaluation in description logics. In Proc. of the 28th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 1786- 1792, 2019.","title":"Revisiting controlled query evaluation in description logics","authors":"Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo","year":"2019","venue":"Proc. of the 28th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2019/247"},{"position":18,"raw":"[Motik et al., 2012] Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz. OWL 2 Web Ontology Language profiles (second edi- tion). W3C Recommendation, World Wide Web Consor- tium, December 2012. Available at http://www.w3.org/ TR/owl2-profiles/.","title":"OWL 2 Web Ontology Language profiles (second edition). W3C Recommendation, World Wide Web Consortium","authors":"Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, Carsten Lutz","year":"2012","venue":null,"doi":null,"url":"http://www.w3.org/TR/owl2-profiles/","internal_url":null},{"position":19,"raw":"[Sicherman et al., 1983] George L. Sicherman, Wiebren de Jonge, and Reind P. van de Riet. Answering queries without revealing secrets. ACM Trans. on Database Sys- tems, 8(1):41-59, 1983.","title":"Answering queries without revealing secrets","authors":"George L Sicherman, Wiebren De Jonge, Reind P Van De Riet","year":"1983","venue":"ACM Trans. on Database Systems","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Vardi, 1982] Moshe Y. Vardi. The complexity of relational query languages. In Proc. of the 14th ACM SIGACT Symp. on Theory of Computing (STOC), pages 137-146, 1982.","title":"The complexity of relational query languages","authors":"Moshe Y Vardi","year":"1982","venue":"Proc. of the 14th ACM SIGACT Symp. on Theory of Computing (STOC)","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}