{"type":"ScholarlyArticle","title":"Controlled Query Evaluation in Description Logics Through Instance Indistinguishability","authors":[{"name":"Gianluca Cima","slug":"gianluca-cima","given":"Gianluca","family":"Cima","affiliation":"Sapienza Università di Roma"},{"name":"Domenico Lembo","slug":"domenico-lembo","given":"Domenico","family":"Lembo","affiliation":"Sapienza Università di Roma"},{"name":"Riccardo Rosati","slug":"riccardo-rosati","given":"Riccardo","family":"Rosati","affiliation":"Sapienza Università di Roma"},{"name":"Domenico Fabio Savo","slug":"domenico-fabio-savo","given":"Domenico Fabio","family":"Savo","affiliation":"Università degli Studi di Bergamo"}],"abstract":"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-LiteR 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-LiteR 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.","doi":"10.24963/ijcai.2020/248","url":"https://ijcai.org/proceedings/2020/248","pdf":"https://ijcai.org/proceedings/2020/0248.pdf","markdown":"https://ijcai.org/proceedings/2020/248.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/248","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":248,"pages":{"first":1791,"last":1797},"keywords":["Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/25103/file_25103.m3u8","length_sec":296,"provider":"hls"}],"references":[{"position":1,"raw":"[Artale et al., 2009] Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev. The DL- Lite family and relations. J. of Artificial Intelligence Re- search, 36:1-69, 2009.","title":"The DL-Lite family and relations","authors":"Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev","year":"2009","venue":"J. of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baader et al., 2007] Franz Baader, Diego Calvanese, Deb- orah McGuinness, Daniele Nardi, and Peter F. Patel- Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2nd edition, 2007.","title":"The Description Logic Handbook: Theory, Implementation and Applications","authors":null,"year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Benedikt et al., 2018] Michael Benedikt, Bernardo Cuenca Grau, and Egor V. Kostylev. Logical foun- dations of information disclosure in ontology-based data integration. Artificial Intelligence, 262:52-95, 2018.","title":"Logical foundations of information disclosure in ontology-based data integration","authors":"Michael Benedikt, Bernardo Cuenca Grau, Egor V Kostylev","year":"2018","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Benedikt et al., 2019] Michael Benedikt, Pierre Bourhis, Louis Jachiet, and Michaël Thomazo. Reasoning about disclosure in data integration in the presence of source constraints. In Proc. of the 28th Int. Joint Conf. on Ar- tificial Intelligence (IJCAI), pages 1551-1557, 2019.","title":"Reasoning about disclosure in data integration in the presence of source constraints","authors":"Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo","year":"2019","venue":"Proc. of the 28th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2019/215"},{"position":5,"raw":"[Biskup and Bonatti, 2004a] Joachim Biskup and Piero A. Bonatti. Controlled query evaluation for enforcing con- fidentiality in complete information systems. Int. J. of In- formation Security, 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. of Information Security","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Biskup and Bonatti, 2004b] Joachim Biskup and Piero A. Bonatti. Controlled query evaluation for known policies by combining lying and refusal. Ann. of Mathematics and Artificial Intelligence, 40(1-2):37-62, 2004.","title":"Controlled query evaluation for known policies by combining lying and refusal","authors":"Bonatti Biskup, Joachim Biskup, Piero A Bonatti","year":"2004","venue":"Ann. of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Biskup and Bonatti, 2007] Joachim Biskup and Piero A. Bonatti. Controlled query evaluation with open queries for a decidable relational submodel. Ann. of Mathematics and Artificial Intelligence, 50(1-2):39-77, 2007.","title":"Controlled query evaluation with open queries for a decidable relational submodel","authors":"Bonatti Biskup, Joachim Biskup, Piero A Bonatti","year":"2007","venue":"Ann. of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Biskup and Weibert, 2008] Joachim Biskup and Torben Weibert. Keeping secrets in incomplete databases. Int. J. of Information Security, 7(3):199-217, 2008.","title":"Keeping secrets in incomplete databases","authors":"Weibert Biskup, Joachim Biskup, Torben Weibert","year":"2008","venue":"Int. J. of Information Security","doi":null,"url":null,"internal_url":null},{"position":9,"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":10,"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), volume 8218 of Lecture Notes in Computer Science, 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":11,"raw":"[Bonatti et al., 1995] Piero A. Bonatti, Sarit Kraus, and V. S. Subrahmanian. Foundations of secure deductive databases. IEEE Trans. Knowl. Data Eng., 7(3):406-422, 1995.","title":"Foundations of secure deductive databases","authors":"A Piero, Sarit Bonatti, V S Kraus, Subrahmanian","year":"1995","venue":"IEEE Trans. Knowl. Data Eng","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Calvanese et al., 2007] 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 answering in description logics: The DL-Lite family","authors":"Calvanese","year":"2007","venue":"J. of Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Calvanese et al., 2012] Diego Calvanese, Giuseppe De Gi- acomo, Maurizio Lenzerini, and Riccardo Rosati. View- based query answering in description logics: Semantics and complexity. J. of Computer and System Sciences, 78(1):26-46, 2012.","title":"Viewbased query answering in description logics: Semantics and complexity","authors":"Calvanese","year":"2012","venue":"J. of Computer and System Sciences","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Cima et al., 2020] Gianluca Cima, Domenico Lembo, Ric- cardo Rosati, and Domenico Fabio Savo. CQE in descrip- tion logics through instance indistinguishability (extended version). CoRR, abs/2004.11870, 2020.","title":"CQE in description logics through instance indistinguishability (extended version)","authors":"Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo","year":"2020","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Cuenca Grau and Horrocks, 2008] Bernardo Cuenca Grau and Ian Horrocks. Privacy-preserving query answering in logic-based information systems. In Proc. of the 18th Eur. Conf. on Artificial Intelligence (ECAI), pages 40-44, 2008.","title":"Privacy-preserving query answering in logic-based information systems","authors":"Cuenca Grau, ; Horrocks, Cuenca Bernardo, Ian Grau, Horrocks","year":"2008","venue":"Proc. of the 18th Eur. Conf. on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":16,"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), vol- ume 8218 of Lecture Notes in Computer Science, 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":17,"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":18,"raw":"[Lembo et al., 2015] Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo. Inconsistency-tolerant query answering in ontology-based data access. J. of Web Semantics, 33:3-29, 2015.","title":"Inconsistency-tolerant query answering in ontology-based data access","authors":"Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo","year":"2015","venue":"J. of Web Semantics","doi":null,"url":null,"internal_url":null},{"position":19,"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":20,"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":21,"raw":"[Sicherman et al., 1983] George L. Sicherman, Wiebren de Jonge, and Reind P. van de Riet. Answering queries without revealing secrets. ACM Trans. Database Syst., 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. Database Syst","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Studer and Werner, 2014] Thomas Studer and Johannes Werner. Censors for boolean description logic. Trans. Data Privacy, 7(3):223-252, 2014.","title":"Censors for boolean description logic","authors":"Werner ; Studer, Thomas Studer, Johannes Werner","year":"2014","venue":"Trans. Data Privacy","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Tao et al., 2014] Jia Tao, Giora Slutzki, and Vasant G. Honavar. A conceptual framework for secrecy-preserving reasoning in knowledge bases. ACM Trans. on Computa- tional Logic, 16(1):3:1-3:32, 2014.","title":"A conceptual framework for secrecy-preserving reasoning in knowledge bases","authors":"Jia Tao, Giora Slutzki, Vasant G Honavar","year":"2014","venue":"ACM Trans. on Computational Logic","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Xiao et al., 2018] Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Ric- cardo Rosati, and Michael Zakharyaschev. Ontology- based data access: A survey. In Proc. of the 27th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 5511-5519, 2018.","title":"Ontologybased data access: A survey","authors":"Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev","year":"2018","venue":"Proc. of the 27th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}