{"type":"ScholarlyArticle","title":"Enriching Ontology-based Data Access with Provenance","authors":[{"name":"Diego Calvanese","slug":"diego-calvanese","given":"Diego","family":"Calvanese","affiliation":"KRDB Research Centre , Free University of Bozen-Bolzano , Italy"},{"name":"Davide Lanti","slug":"davide-lanti","given":"Davide","family":"Lanti","affiliation":"KRDB Research Centre , Free University of Bozen-Bolzano , Italy"},{"name":"Ana Ozaki","slug":"ana-ozaki","given":"Ana","family":"Ozaki","affiliation":"KRDB Research Centre , Free University of Bozen-Bolzano , Italy"},{"name":"Rafael Penaloza","slug":"rafael-penaloza","given":"Rafael","family":"Peñaloza","affiliation":"University of Milano-Bicocca , Italy"},{"name":"Guohui Xiao","slug":"guohui-xiao","given":"Guohui","family":"Xiao","affiliation":"KRDB Research Centre , Free University of Bozen-Bolzano , Italy"}],"abstract":"Ontology-based data access (OBDA) is a popular paradigm for querying heterogeneous data sources by connecting them through mappings to an ontology. In OBDA, it is often difficult to reconstruct why a tuple occurs in the answer of a query. We address this challenge by enriching OBDA with provenance semirings, taking inspiration from database theory. In particular, we investigate the problems of (i) deciding whether a provenance annotated OBDA instance entails a provenance annotated conjunctive query, and (ii) computing a polynomial representing the provenance of a query entailed by a provenance annotated OBDA instance. Differently from pure databases, in our case, these polynomials may be infinite. To regain finiteness, we consider idempotent semirings, and study the complexity in the case of DL-LiteR ontologies. We implement Task (ii) in a state-of-the-art OBDA system and show the practical feasibility of the approach through an extensive evaluation against two popular benchmarks.","doi":"10.24963/ijcai.2019/224","url":"https://ijcai.org/proceedings/2019/224","pdf":"https://ijcai.org/proceedings/2019/0224.pdf","markdown":"https://ijcai.org/proceedings/2019/224.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/224","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":224,"pages":{"first":1616,"last":1623},"keywords":["Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Knowledge Representation and Reasoning: Description Logics and Ontologies","Knowledge Representation and Reasoning: Logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"[Baader et al., 2007] Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn. Pinpointing in the description logic EL + . In KI, pages 52-67, 2007.","title":"Pinpointing in the description logic EL +","authors":"Baader","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bienvenu et al., 2019] Meghyn Bienvenu, Camille Bour- gaux, and Franc ¸ois Goasdoué. Computing and explaining query answers over inconsistent DL-Lite knowledge bases. Journal of Artificial Intelligence Research, 64:563-644, 2019.","title":"Computing and explaining query answers over inconsistent DL-Lite knowledge bases","authors":"Bienvenu","year":"2019","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bizer and Schultz, 2009] Christian Bizer and Andreas Schultz. The Berlin SPARQL benchmark. International Journal on Semantic Web and Information Systems, 5(2):1-24, 2009.","title":"Christian Bizer and Andreas Schultz","authors":"Schultz Bizer","year":"2009","venue":"International Journal on Semantic Web and Information Systems","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Borgida et al., 2008] Alexander Borgida, Diego Calvanese, and Mariano Rodriguez-Muro. Explanation in the DL-Lite family of description logics. In ODBASE, volume 5332 of LNCS, pages 1440-1457. Springer, 2008.","title":"Explanation in the DL-Lite family of description logics","authors":"Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro","year":"2008","venue":"ODBASE","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bourgaux and Ozaki, 2019] Camille Bourgaux and Ana Ozaki. Querying attributed DL-Lite ontologies using prove- nance semirings. In AAAI, 2019.","title":"Querying attributed DL-Lite ontologies using provenance semirings","authors":"Ozaki Bourgaux, Camille Bourgaux, Ana Ozaki","year":"2019","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Buneman and Kostylev, 2010] Peter Buneman and Egor V. Kostylev. Annotation algebras for RDFS data. In Proc. of the 2nd Int. Workshop on the Role of Semantic Web in Provenance Management (SWPM@ISWC), 2010.","title":"Annotation algebras for RDFS data","authors":"Peter Buneman, Egor V Kostylev","year":"2010","venue":"Proc. of the 2nd Int. Workshop on the Role of Semantic Web in Provenance Management (SWPM@ISWC)","doi":null,"url":null,"internal_url":null},{"position":7,"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. Journal 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":"Journal of Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Calvanese et al., 2013] Diego Calvanese, Magdalena Ortiz, Mantas Simkus, and Giorgio Stefanoni. Reasoning about explanations for negative query answers in DL-Lite. Jour- nal of Artificial Intelligence Research, 48:635-669, 2013.","title":"Reasoning about explanations for negative query answers in DL-Lite","authors":"Calvanese","year":"2013","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Calvanese et al., 2017] Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Mar- tin Rezk, Mariano Rodriguez-Muro, and Guohui Xiao. On- top: Answering SPARQL queries over relational databases. Semantic Web Journal, 8(3):471-487, 2017.","title":"Ontop: Answering SPARQL queries over relational databases","authors":"Calvanese","year":"2017","venue":"Semantic Web Journal","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Calvanese et al., 2019] Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, and Guohui Xiao. Enriching ontology-based data access with provenance (Extended version). CoRR Technical Report arXiv:1906.00179, arXiv.org, 2019. Available at http://arxiv.org/abs/1906. 00179.","title":"Enriching ontology-based data access with provenance","authors":"Calvanese","year":"2019","venue":null,"doi":null,"url":"http://arxiv.org/abs/1906.00179","internal_url":null},{"position":11,"raw":"[Croce and Lenzerini, 2018] Federico Croce and Maurizio Lenzerini. A framework for explaining query answers in DL-Lite. In EKAW, pages 83-97, 2018.","title":"A framework for explaining query answers in DL-Lite","authors":"Federico Croce, Maurizio Lenzerini","year":"2018","venue":"EKAW","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Geerts et al., 2013] Floris Geerts, Grigoris Karvounarakis, Vassilis Christophides, and Irini Fundulaki. Algebraic struc- tures for capturing the provenance of SPARQL queries. In ICDT, pages 153-164. ACM, 2013.","title":"Algebraic structures for capturing the provenance of SPARQL queries","authors":"Geerts","year":"2013","venue":"ICDT","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Green and Tannen, 2017] Todd J. Green and Val Tannen. The semiring framework for database provenance. In PODS, pages 93-99. ACM, 2017.","title":"The semiring framework for database provenance","authors":"Todd J Green, Val Tannen","year":"2017","venue":"PODS","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Green et al., 2007] Todd J. Green, Gregory Karvounarakis, and Val Tannen. Provenance semirings. In PODS, pages 31-40, 2007.","title":"Provenance semirings","authors":"Todd J Green, Gregory Karvounarakis, Val Tannen","year":"2007","venue":"PODS","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Gutiérrez-Basulto et al., 2015] Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Roman Kontchakov, and Egor V. Kostylev. Queries with negation and inequalities over lightweight ontologies. Journal of Web Semantics, 35(P4):184-202, 2015.","title":"Queries with negation and inequalities over lightweight ontologies","authors":"Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Roman Kontchakov, Egor V Kostylev","year":"2015","venue":"Journal of Web Semantics","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Kalyanpur et al., 2007] Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, and Evren Sirin. Finding all justifi- cations of OWL DL entailments. In ISWC, volume 4825 of LNCS, pages 267-280. Springer, 2007.","title":"Finding all justifications of OWL DL entailments","authors":"Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin","year":"2007","venue":"ISWC","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Karchmer and Wigderson, 1990] M. Karchmer and A. Wigderson. Monotone circuits for connectivity require super-logarithmic depth. SIAM Journal on Discrete Mathematics, 3(2):255-265, 1990.","title":"Monotone circuits for connectivity require super-logarithmic depth","authors":"M Karchmer, A Wigderson","year":"1990","venue":"SIAM Journal on Discrete Mathematics","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Lanti et al., 2015] Davide Lanti, Martin Rezk, Guohui Xiao, and Diego Calvanese. The NPD benchmark: Reality check for OBDA systems. In EDBT, pages 617-628. OpenPro- ceedings.org, 2015.","title":"The NPD benchmark: Reality check for OBDA systems","authors":"Davide Lanti, Martin Rezk, Guohui Xiao, Diego Calvanese","year":"2015","venue":"EDBT","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Lanti et al., 2019] Davide Lanti, Guohui Xiao, and Diego Calvanese. VIG: Data scaling for OBDA benchmarks. Se- mantic Web Journal, 10(2):413-433, 2019.","title":"VIG: Data scaling for OBDA benchmarks","authors":"Davide Lanti, Guohui Xiao, Diego Calvanese","year":"2019","venue":"Semantic Web Journal","doi":null,"url":null,"internal_url":null},{"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. W3C Recom- mendation, World Wide Web Consortium, December 2012. Available at http://www.w3.org/TR/owl2-profiles/.","title":"OWL 2 Web Ontology Language profiles","authors":"Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, Carsten Lutz","year":"2012","venue":"W3C Recommendation, World Wide Web Consortium","doi":null,"url":"http://www.w3.org/TR/owl2-profiles/","internal_url":null},{"position":21,"raw":"[Peñaloza and Sertkaya, 2017] Rafael Peñaloza and Barıs ¸ Sertkaya. Understanding the complexity of axiom pinpoint- ing in lightweight description logics. Artificial Intelligence, 250:80-104, 2017.","title":"Understanding the complexity of axiom pinpointing in lightweight description logics","authors":"Sertkaya Peñaloza, Rafael Peñaloza, ¸ Barıs, Sertkaya","year":"2017","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Peñaloza, 2009] Rafael Peñaloza. Axiom Pinpointing in De- scription Logics and Beyond. PhD thesis, Dresden Univer- sity of Technology, 2009.","title":"Axiom Pinpointing in Description Logics and Beyond","authors":"Rafael Peñaloza","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Schlobach and Cornet, 2003] Stefan Schlobach and Ronald Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In IJCAI, 2003.","title":"Non-standard reasoning services for the debugging of description logic terminologies","authors":"Cornet Schlobach, Stefan Schlobach, Ronald Cornet","year":"2003","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2003/53"},{"position":24,"raw":"[Senellart et al., 2018] Pierre Senellart, Louis Jachiet, Silviu Maniu, and Yann Ramusat. ProvSQL: Provenance and probability management in PostgreSQL. Proceedings of the VLDB Endowment, 11(12):2034-2037, 2018.","title":"ProvSQL: Provenance and probability management in PostgreSQL","authors":"Senellart","year":"2018","venue":"Proceedings of the VLDB Endowment","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Senellart, 2017] Pierre Senellart. Provenance and probabili- ties in relational databases. SIGMOD Record, 46(4):5-15, 2017.","title":"Pierre Senellart. Provenance and probabilities in relational databases","authors":"Senellart","year":"2017","venue":"SIGMOD Record","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Xiao et al., 2018] Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, and Michael Zakharyaschev. Ontology-based data access: A survey. In IJCAI, pages 5511-5519, 2018.","title":"Ontology-based data access: A survey","authors":"Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev","year":"2018","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2018/777"},{"position":27,"raw":"[Zimmermann et al., 2012] Antoine Zimmermann, Nuno Lopes, Axel Polleres, and Umberto Straccia. A general framework for representing, reasoning and querying with annotated Semantic Web data. Journal of Web Semantics, 11:72-95, 2012.","title":"A general framework for representing, reasoning and querying with annotated Semantic Web data","authors":"Zimmermann","year":"2012","venue":"Journal of Web Semantics","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}