{"type":"ScholarlyArticle","title":"Provenance for the Description Logic ELHr","authors":[{"name":"Camille Bourgaux","slug":"camille-bourgaux","given":"Camille","family":"Bourgaux","affiliation":"DI ENS , ENS , CNRS , PSL University & Inria , Paris , France"},{"name":"Ana Ozaki","slug":"ana-ozaki","given":"Ana","family":"Ozaki","affiliation":"University of Bergen , Norway; Free University of Bozen-Bolzano , Italy"},{"name":"Rafael Penaloza","slug":"rafael-penaloza","given":"Rafael","family":"Peñaloza","affiliation":"University of Milano-Bicocca , Italy"},{"name":"Livia Predoiu","slug":"livia-predoiu","given":"Livia","family":"Predoiu","affiliation":"Free University of Bozen-Bolzano , Italy"}],"abstract":"We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and extending classical data provenance, in which ontology axioms are annotated with provenance tokens. A consequence inherits the provenance of the axioms involved in deriving it, yielding a provenance polynomial as an annotation. We analyse the semantics for the ELHr case and show that the presence of conjunctions poses various difficulties for handling provenance, some of which are mitigated by assuming multiplicative idempotency of the semiring. Under this assumption, we study three problems: ontology completion with provenance, computing the set of relevant axioms for a consequence, and query answering.","doi":"10.24963/ijcai.2020/258","url":"https://ijcai.org/proceedings/2020/258","pdf":"https://ijcai.org/proceedings/2020/0258.pdf","markdown":"https://ijcai.org/proceedings/2020/258.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/258","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":258,"pages":{"first":1862,"last":1869},"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":[{"label":"Video","url":"https://videos.ijcai20.org/24994/file_24994.m3u8","length_sec":278,"provider":"hls"}],"references":[{"position":1,"raw":"∈ R I i O , then add (d, d , [m × n]) to S I i O . Example 16. For our running example, I O is as follows: References [Baader et al., 2005] Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In IJCAI, 2005.","title":"Example 16. For our running example, I O is as follows: References","authors":"O ∈ R I I O , Then ; To S I I, Baader","year":"2005","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baader et al., 2007a] Franz Baader, Diego Calvanese, Debo- rah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook: Theory, Imple- mentation, and Applications. Cambridge University Press, second edition, 2007.","title":"The Description Logic Handbook: Theory, Implementation, and Applications","authors":"Baader","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baader et al., 2007b] Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn. Pinpointing in the description logic EL + . In KI, 2007.","title":"Pinpointing in the description logic EL +","authors":"Baader","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baader et al., 2008a] Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope further. In OWLED, 2008.","title":"Pushing the EL envelope further","authors":"Baader","year":"2008","venue":"OWLED","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baader et al., 2008b] Franz Baader, Jan Hladik, and Rafael Peñaloza. Automata can show PSpace results for descrip- tion logics. Inf. Comput., 206(9-10), 2008.","title":"Automata can show PSpace results for description logics","authors":"Baader","year":"2008","venue":"Inf. Comput","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bienvenu et al., 2013] Meghyn Bienvenu, Carsten Lutz, and Frank Wolter. First-Order Rewritability of Atomic Queries in Horn Description Logics. In IJCAI, 2013.","title":"First-Order Rewritability of Atomic Queries in Horn Description Logics","authors":"Bienvenu","year":"2013","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2013/118"},{"position":7,"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. J. Artif. Intell. Res., 64, 2019.","title":"Computing and explaining query answers over inconsistent DL-Lite knowledge bases","authors":"Bienvenu","year":"2019","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Borgida et al., 2008] Alexander Borgida, Diego Calvanese, and Mariano Rodriguez-Muro. Explanation in the DL-Lite family of description logics. In OTM, 2008.","title":"Explanation in the DL-Lite family of description logics","authors":"Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro","year":"2008","venue":"OTM","doi":null,"url":null,"internal_url":null},{"position":9,"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":10,"raw":"[Bourgaux et al., 2020] Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, and Livia Predoiu. Provenance for the description logic ELHr, 2020. arXiv:2001.07541 [cs.LO]. Buneman and Kostylev, 2010]","title":"Provenance for the description logic ELHr","authors":"Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu","year":"2010","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Peter Buneman and Egor V. Kostylev. Annotation algebras for RDFS data. In SWPM@ISWC, 2010.","title":"Annotation algebras for RDFS data","authors":"Peter Buneman, Egor V Kostylev","year":"2010","venue":"SWPM@ISWC","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Buneman, 2013] Peter Buneman. The providence of prove- nance. In BNCOD, 2013.","title":"The providence of provenance","authors":"Peter Buneman","year":"2013","venue":"BNCOD","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Calvanese et al., 2019] Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, and Guohui Xiao. Enriching ontology-based data access with provenance. In IJCAI, 2019.","title":"Enriching ontology-based data access with provenance","authors":"Calvanese","year":"2019","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2019/224"},{"position":14,"raw":"[Ceylan et al., 2019] İsmail İlkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, and Andrius Vaice- navicius. Explanations for query answers under existential rules. In IJCAI, 2019.","title":"Explanations for query answers under existential rules","authors":"Thomas İsmail İlkan Ceylan, Enrico Lukasiewicz, Andrius Malizia, Vaicenavicius","year":"2019","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2019/227"},{"position":15,"raw":"[Cheney et al., 2009] James Cheney, Laura Chiticariu, and Wang Chiew Tan. Provenance in databases: Why, how, and where. Foundations and Trends in Databases, 1(4), 2009.","title":"Provenance in databases: Why, how, and where","authors":"James Cheney, Laura Chiticariu, Wang Chiew, Tan","year":"2009","venue":"Foundations and Trends in Databases","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Croce and Lenzerini, 2018] Federico Croce and Maurizio Lenzerini. A framework for explaining query answers in DL-Lite. In EKAW, 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":17,"raw":"[Dannert and Grädel, 2019] Katrin M. Dannert and Erich Grädel. Provenance analysis: A perspective for description logics? In Description Logic, Theory Combination, and All That, 2019.","title":"Provenance analysis: A perspective for description logics? In Description Logic","authors":"M Katrin, Erich Dannert, Grädel","year":"2019","venue":"Theory Combination, and All That","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Deutch et al., 2014] Daniel Deutch, Tova Milo, Sudeepa Roy, and Val Tannen. Circuits for datalog provenance. In ICDT, 2014.","title":"Circuits for datalog provenance","authors":"Daniel Deutch, Tova Milo, Sudeepa Roy, Val Tannen","year":"2014","venue":"ICDT","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Green and Tannen, 2017] Todd J. Green and Val Tannen. The semiring framework for database provenance. In PODS, 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":20,"raw":"[Green et al., 2007] Todd J. Green, Gregory Karvounarakis, and Val Tannen. Provenance semirings. In PODS, 2007.","title":"Provenance semirings","authors":"Todd J Green, Gregory Karvounarakis, Val Tannen","year":"2007","venue":"PODS","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Green, 2011] Todd J. Green. Containment of conjunctive queries on annotated relations. Theory of Computing Sys- tems, 49, 2011.","title":"Containment of conjunctive queries on annotated relations","authors":"Todd J Green","year":"2011","venue":"Theory of Computing Systems","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Hutschenreiter and Peñaloza, 2017] Lisa Hutschenreiter and Rafael Peñaloza. An automata view to goal-directed meth- ods. In LATA, 2017.","title":"Lisa Hutschenreiter and Rafael Peñaloza. An automata view to goal-directed methods","authors":"Peñaloza Hutschenreiter","year":"2017","venue":"LATA","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Ives et al., 2008] Zachary G. Ives, Todd J. Green, Grigoris Karvounarakis, Nicholas E. Taylor, Val Tannen, Partha Pra- tim Talukdar, Marie Jacob, and Fernando C. N. Pereira. The ORCHESTRA collaborative data sharing system. Sigmod Record, 37, 2008.","title":"The ORCHESTRA collaborative data sharing system","authors":"Zachary G Ives, Todd J Green, Grigoris Karvounarakis, Nicholas E Taylor, Val Tannen, Partha Pratim Talukdar, Marie Jacob, Fernando C N Pereira","year":"2008","venue":"Sigmod Record","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Kalyanpur et al., 2007] Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, and Evren Sirin. Finding all justifi- cations of OWL DL entailments. In ISWC, 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":25,"raw":"[Lukasiewicz et al., 2014] Thomas Lukasiewicz, Maria Van- ina Martínez, Cristian Molinaro, Livia Predoiu, and Ger- ardo I. Simari. Answering ontological ranking queries based on subjective reports. In SUM, 2014.","title":"Answering ontological ranking queries based on subjective reports","authors":"Thomas Lukasiewicz, Maria Vanina Martínez, Cristian Molinaro, Livia Predoiu, Gerardo I Simari","year":"2014","venue":"SUM","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Lutz et al., 2009] Carsten Lutz, David Toman, and Frank Wolter. Conjunctive query answering in the description logic EL using a relational database system. In IJCAI, 2009.","title":"Conjunctive query answering in the description logic EL using a relational database system","authors":"Carsten Lutz, David Toman, Frank Wolter","year":"2009","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2009/341"},{"position":27,"raw":"[Peñaloza and Sertkaya, 2010] Rafael Peñaloza and Baris Sertkaya. On the complexity of axiom pinpointing in the EL family of description logics. In KR, 2010.","title":"On the complexity of axiom pinpointing in the EL family of description logics","authors":"Sertkaya Peñaloza, Rafael Peñaloza, Baris Sertkaya","year":"2010","venue":null,"doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Peñaloza et al., 2017] Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, and João Marques-Silva. Lean kernels in description logics. In ESWC, 2017.","title":"Lean kernels in description logics","authors":"Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva","year":"2017","venue":"ESWC","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Ramusat et al., 2018] Yann Ramusat, Silviu Maniu, and Pierre Senellart. Semiring provenance over graph databases. In TaPP, 2018.","title":"Semiring provenance over graph databases","authors":"Yann Ramusat, Silviu Maniu, Pierre Senellart","year":"2018","venue":"TaPP","doi":null,"url":null,"internal_url":null},{"position":30,"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":31,"raw":"[Senellart, 2017] Pierre Senellart. Provenance and probabili- ties in relational databases. SIGMOD Record, 46(4), 2017.","title":"Provenance and probabilities in relational databases","authors":"Pierre Senellart, Senellart","year":"2017","venue":"SIGMOD Record","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Suciu et al., 2011] Dan Suciu, Dan Olteanu, Christopher Ré, and Christoph Koch. Probabilistic Databases. Synthe- sis Lectures on Data Management, Morgan and Claypool Publishers, 2011.","title":"Probabilistic Databases. Synthesis Lectures on Data Management","authors":"Dan Suciu, Dan Olteanu, Christopher Ré, Christoph Koch","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":33,"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. J. Web Sem., 11, 2012.","title":"A general framework for representing, reasoning and querying with annotated semantic web data","authors":"Antoine Zimmermann, Nuno Lopes, Axel Polleres, Umberto Straccia","year":"2012","venue":"J. Web Sem","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}