{"type":"ScholarlyArticle","title":"Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account","authors":[{"name":"Meghyn Bienvenu","slug":"meghyn-bienvenu","given":"Meghyn","family":"Bienvenu","affiliation":"French National Center for Scientific Research ( CNRS ); University of Montpellier French Institute for Research in Computer Science and Automation (Inria)"}],"abstract":"Inconsistency-tolerant query answering in the presence of ontologies has received considerable attention in recent years. However, existing work assumes that the data is expressed using the vocabulary of the ontology and is therefore not directly applicable to ontology-based data access (OBDA), where relational data is connected to the ontology via mappings. This motivates us to revisit existing results in the wider context of OBDA with mappings. After formalizing the problem, we perform a detailed analysis of the data complexity of inconsistency-tolerant OBDA for ontologies formulated in DL-Lite and other data-tractable description logics, considering three different semantics (AR, IAR, and brave), two notions of repairs (subset and symmetric difference), and two classes of global-as-view (GAV) mappings. We show that adding plain GAV mappings does not affect data complexity, but there is a jump in complexity if mappings with negated atoms are considered.","doi":"10.24963/ijcai.2018/238","url":"https://ijcai.org/proceedings/2018/238","pdf":"https://ijcai.org/proceedings/2018/0238.pdf","markdown":"https://ijcai.org/proceedings/2018/238.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/238","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":238,"pages":{"first":1721,"last":1729},"keywords":["Knowledge Representation and Reasoning: Description Logics and Ontologies","Multidisciplinary Topics and Applications: Databases","Knowledge Representation and Reasoning: Computational Complexity of Reasoning"],"videos":[],"references":[{"position":1,"raw":"[Antonioli et al., 2014] Natalia Antonioli, Francesco Cas- tanò, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi, and Patrizia Castracane. Ontology-based data manage- ment for the italian public debt. In Proceedings of FOIS, pages 372-385, 2014.","title":"Ontology-based data management for the italian public debt","authors":"Natalia Antonioli, Francesco Castanò, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi, Patrizia Castracane","year":"2014","venue":"Proceedings of FOIS","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Arenas et al., 1999] Marcelo Arenas, Leopoldo E. Bertossi, and Jan Chomicki. Consistent query answers in inconsis- tent databases. In Proceedings of PODS, 1999.","title":"Consistent query answers in inconsistent databases","authors":"Marcelo Arenas, Leopoldo E Bertossi, Jan Chomicki","year":"1999","venue":"Proceedings of PODS","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Artale et al., 2009] Allessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev. The DL-Lite family and relations. Journal Artif. Intell. Res. (JAIR), 36:1-69, 2009.","title":"The DL-Lite family and relations","authors":"Allessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev","year":"2009","venue":"Journal Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baader et al., 2005] Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In Proceedings of IJCAI, pages 364-369, 2005.","title":"Pushing the EL envelope","authors":"Baader","year":"2005","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baader et al., 2017] Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. An Introduction to Description Logic. Cambridge University Press, 2017.","title":"An Introduction to Description Logic","authors":"Baader","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bertossi, 2011] Leopoldo E. Bertossi. Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management. Morgan & Claypool Publishers, 2011.","title":"Database Repairing and Consistent Query Answering","authors":"Leopoldo E Bertossi","year":"2011","venue":"Synthesis Lectures on Data Management","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Bienvenu and Bourgaux, 2016] Meghyn Bienvenu and Camille Bourgaux. Inconsistency-tolerant querying of description logic knowledge bases. In Reasoning Web Tutorial Lectures, LNCS 9885, pages 156-202. Springer, 2016.","title":"Inconsistency-tolerant querying of description logic knowledge bases","authors":"Bourgaux Bienvenu, Meghyn Bienvenu, Camille Bourgaux","year":"2016","venue":"Reasoning Web Tutorial Lectures","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Bienvenu and Rosati, 2013] Meghyn Bienvenu and Ric- cardo Rosati. Tractable approximations of consistent query answering for robust ontology-based data access. In Proceedings of IJCAI, 2013. Long version with proofs can be obtained from the author's website.","title":"Tractable approximations of consistent query answering for robust ontology-based data access","authors":"Rosati Bienvenu","year":"2013","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2013/121"},{"position":9,"raw":"[Bienvenu et al., 2014] Meghyn Bienvenu, Camille Bour- gaux, and Franc ¸ois Goasdoué. Querying inconsistent de- scription logic knowledge bases under preferred repair se- mantics. In Proceedings of AAAI, 2014.","title":"Querying inconsistent description logic knowledge bases under preferred repair semantics","authors":"Bienvenu","year":"2014","venue":"Proceedings of AAAI","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Bienvenu, 2012] Meghyn Bienvenu. On the complexity of consistent query answering in the presence of simple on- tologies. In Proceedings of AAAI, 2012.","title":"On the complexity of consistent query answering in the presence of simple ontologies","authors":"Meghyn Bienvenu, Bienvenu","year":"2012","venue":"Proceedings of AAAI","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Bravo and Bertossi, 2003] Loreto Bravo and Leopoldo E. Bertossi. Logic programs for consistently querying data integration systems. In Proceedings of IJCAI, pages 10- 15, 2003.","title":"Logic programs for consistently querying data integration systems","authors":"Bertossi Bravo, Loreto Bravo, Leopoldo E Bertossi","year":"2003","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2003/2"},{"position":12,"raw":"[Calì et al., 2003] Andrea Calì, Domenico Lembo, and Ric- cardo Rosati. Query rewriting and answering under con- straints in data integration systems. In Proceedings of IJ- CAI, pages 16-21, 2003.","title":"Query rewriting and answering under constraints in data integration systems","authors":"Andrea Calì, Domenico Lembo, Riccardo Rosati","year":"2003","venue":"Proceedings of IJ-CAI","doi":null,"url":null,"internal_url":"/proceedings/2003/3"},{"position":13,"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 (JAR), 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 (JAR)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Calvanese et al., 2017] Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, and Guohui Xiao. Ontop: Answering SPARQL queries over relational databases. Semantic Web, 8(3):471-487, 2017.","title":"Ontop: Answering SPARQL queries over relational databases","authors":"Calvanese","year":"2017","venue":"Semantic Web","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Chomicki, 2007] Jan Chomicki. Consistent query answer- ing: Five easy pieces. In Proceedings of ICDT, 2007.","title":"Consistent query answering: Five easy pieces","authors":"Jan Chomicki, Chomicki","year":"2007","venue":"Proceedings of ICDT","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Eiter et al., 2008] Thomas Eiter, Georg Gottlob, Magdalena Ortiz, and Mantas Simkus. Query answering in the de- scription logic Horn-SHIQ. In Proceedings of JELIA, 2008.","title":"Query answering in the description logic Horn-SHIQ","authors":"Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus","year":"2008","venue":"Proceedings of JELIA","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Kontchakov and Zakharyaschev, 2014] Roman Kontchakov and Michael Zakharyaschev. An introduction to descrip- tion logics and query rewriting. In Reasoning Web Tutorial Lectures, LNCS 8714, pages 195-244. Springer, 2014.","title":"Roman Kontchakov and Michael Zakharyaschev. An introduction to description logics and query rewriting","authors":"Zakharyaschev Kontchakov","year":"2014","venue":"Reasoning Web Tutorial Lectures","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Lembo et al., 2010] Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo. Inconsistency-tolerant semantics for description logics. In Proceedings of RR, 2010.","title":"Inconsistency-tolerant semantics for description logics","authors":"Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo","year":"2010","venue":"Proceedings of RR","doi":null,"url":null,"internal_url":null},{"position":19,"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. Journal 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":"Journal of Web Semantics","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Poggi et al., 2008] Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenz- erini, and Riccardo Rosati. Linking data to ontologies. Journal of Data Semantics, 10:133-173, 2008.","title":"Linking data to ontologies","authors":"Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati","year":"2008","venue":"Journal of Data Semantics","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Rosati, 2011] Riccardo Rosati. On the complexity of deal- ing with inconsistency in description logic ontologies. In Proceedings of IJCAI, 2011.","title":"On the complexity of dealing with inconsistency in description logic ontologies","authors":"Riccardo Rosati","year":"2011","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2011/181"},{"position":22,"raw":"[Staworko and Chomicki, 2010] Slawomir Staworko and Jan Chomicki. Consistent query answers in the presence of universal constraints. Information Systems, 35(1):1-22, 2010.","title":"Slawomir Staworko and Jan Chomicki. Consistent query answers in the presence of universal constraints","authors":"Chomicki Staworko","year":"2010","venue":"Information Systems","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[ten Cate et al., 2016] Balder ten Cate, Richard L. Halpert, and Phokion G. Kolaitis. Exchange-repairs -managing in- consistency in data exchange. Journal of Data Semantics, 5(2):77-97, 2016.","title":"Exchange-repairs -managing inconsistency in data exchange","authors":"Cate Ten","year":"2016","venue":"Journal of Data Semantics","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Tsalapati et al., 2016] Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, and George Koletsos. Efficient query answering over expressive inconsistent description logics. In Proceedings of IJCAI, 2016.","title":"Efficient query answering over expressive inconsistent description logics","authors":"Eleni Tsalapati, Giorgos Stoilos, Giorgos B Stamou, George Koletsos","year":"2016","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2016/185"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}