{"type":"ScholarlyArticle","title":"Inconsistency Measures for Repair Semantics in OBDA","authors":[{"name":"Bruno Yun","slug":"bruno-yun","given":"Bruno","family":"Yun","affiliation":"Univ. Montpellier , LIRMM"},{"name":"Srdjan Vesic","slug":"srdjan-vesic","given":"Srdjan","family":"Vesic","affiliation":"CRIL -CNRS , Univ. Artois"},{"name":"Madalina Croitoru","slug":"madalina-croitoru","given":"Madalina","family":"Croitoru","affiliation":"Univ. Montpellier , LIRMM"},{"name":"Pierre Bisquert","slug":"pierre-bisquert","given":"Pierre","family":"Bisquert","affiliation":"INRA , LIRMM"}],"abstract":"In this paper, we place ourselves in the Ontology Based Data Access (OBDA) setting and investigate reasoning with inconsistent existential rules knowledge bases. We use the notion of inconsistency measures on sets of facts to rank and filter repairs. We propose a generic framework to answer queries by using the best repairs and study productivity and properties of such a framework.","doi":"10.24963/ijcai.2018/273","url":"https://ijcai.org/proceedings/2018/273","pdf":"https://ijcai.org/proceedings/2018/0273.pdf","markdown":"https://ijcai.org/proceedings/2018/273.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/273","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":273,"pages":{"first":1977,"last":1983},"keywords":["Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Baget et al., 2011] Jean-Franc ¸ois Baget, Michel Leclère, Marie-Laure Mugnier, and Eric Salvat. On rules with ex- istential variables: Walking the decidability line. Artif. In- tell., 175(9-10):1620-1654, 2011.","title":"On rules with existential variables: Walking the decidability line","authors":"Baget","year":"2011","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baget et al., 2016a] Jean-Franc ¸ois Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mug- nier, Odile Papini, Swan Rocher, and Karim Tabia. A General Modifier-Based Framework for Inconsistency- Tolerant Query Answering. In KR 2016, pages 513-516, 2016.","title":"A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering","authors":"Baget","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baget et al., 2016b] Jean-Franc ¸ois Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mug- nier, Odile Papini, Swan Rocher, and Karim Tabia. Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. In JELIA 2016, pages 64-80, 2016.","title":"Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis","authors":"Baget","year":"2016","venue":"JELIA 2016","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Benferhat et al., 1997] Salem Benferhat, Didier Dubois, and Henri Prade. Some Syntactic Approaches to the Han- dling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case. Studia Logica, 58(1):17-45, 1997.","title":"Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case","authors":"Benferhat","year":"1997","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Benferhat et al., 2016] Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, and Karim Tabia. Non- Objection Inference for Inconsistency-Tolerant Query An- swering. In IJCAI 2016, pages 3684-3690, 2016.","title":"Non-Objection Inference for Inconsistency-Tolerant Query Answering","authors":"Benferhat","year":"2016","venue":"IJCAI 2016","doi":null,"url":null,"internal_url":"/proceedings/2016/518"},{"position":6,"raw":"[Brewka, 1989] Gerhard Brewka. Preferred Subtheories: An Extended Logical Framework for Default Reasoning. In IJCAI 1989, pages 1043-1048, 1989.","title":"Preferred Subtheories: An Extended Logical Framework for Default Reasoning","authors":"Gerhard Brewka","year":"1989","venue":"IJCAI 1989","doi":null,"url":null,"internal_url":"/proceedings/1989/167"},{"position":7,"raw":"[Calì et al., 2009] Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz. A general datalog-based framework for tractable query answering over ontologies. In PODS 2009, pages 77-86, 2009.","title":"A general datalog-based framework for tractable query answering over ontologies","authors":"Andrea Calì, Georg Gottlob, Thomas Lukasiewicz","year":"2009","venue":"PODS 2009","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Grant and Hunter, 2011] John Grant and Anthony Hunter. Measuring the Good and the Bad in Inconsistent Informa- tion. In IJCAI 2011, pages 2632-2637, 2011.","title":"Measuring the Good and the Bad in Inconsistent Information","authors":"Hunter ; Grant, John Grant, Anthony Hunter","year":"2011","venue":"IJCAI 2011","doi":null,"url":null,"internal_url":"/proceedings/2011/438"},{"position":9,"raw":"[Hecham et al., 2017a] Abdelraouf Hecham, Pierre Bis- quert, and Madalina Croitoru. On the Chase for All Prove- nance Paths with Existential Rules. In RuleML+RR 2017, pages 135-150, 2017.","title":"On the Chase for All Provenance Paths with Existential Rules","authors":"Hecham","year":"2017","venue":"RuleML+RR 2017","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Hecham et al., 2017b] Abdelraouf Hecham, Madalina Croitoru, and Pierre Bisquert. Argumentation-Based Defeasible Reasoning For Existential Rules. In AAMAS 2017, pages 1568-1569, 2017.","title":"Abdelraouf Hecham, Madalina Croitoru, and Pierre Bisquert. Argumentation-Based Defeasible Reasoning For Existential Rules","authors":"Hecham","year":"2017","venue":"AAMAS 2017","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Hunter and Konieczny, 2010] Anthony Hunter and Sébastien Konieczny. On the measure of conflicts: Shap- ley Inconsistency Values. Artif. Intell., 174(14):1007- 1026, 2010.","title":"On the measure of conflicts: Shapley Inconsistency Values","authors":"Anthony Hunter, Sébastien Konieczny","year":"2010","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Konieczny et al., 2015] Sébastien Konieczny, Pierre Mar- quis, and Srdjan Vesic. On supported inference and exten- sion selection in abstract argumentation frameworks. In ECSQARU 2015, pages 49-59, 2015.","title":"On supported inference and extension selection in abstract argumentation frameworks","authors":"Sébastien Konieczny, Pierre Marquis, Srdjan Vesic","year":"2015","venue":"ECSQARU 2015","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Lembo et al., 2010] Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo. Inconsistency-Tolerant Semantics for Description Logics. In RR 2010, pages 103-117, 2010.","title":"Inconsistency-Tolerant Semantics for Description Logics","authors":"Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo","year":"2010","venue":"RR 2010","doi":null,"url":null,"internal_url":null},{"position":14,"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. Web Sem., 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. Web Sem","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Lukasiewicz et al., 2015] Thomas Lukasiewicz, Maria Van- ina Martinez, Andreas Pieris, and Gerardo I. Simari. From Classical to Consistent Query Answering under Existential Rules. In AAAI 2015, pages 1546-1552, 2015.","title":"From Classical to Consistent Query Answering under Existential Rules","authors":"Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo I Simari","year":"2015","venue":"AAAI 2015","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Marnette, 2009] Bruno Marnette. Generalized schema- mappings: from termination to tractability. In PODS 2009, pages 13-22, 2009.","title":"Generalized schemamappings: from termination to tractability","authors":"Bruno Marnette","year":"2009","venue":"PODS 2009","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Poggi et al., 2008] Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenz- erini, and Riccardo Rosati. Linking Data to Ontologies. J. 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":"J. Data Semantics","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Reiter, 1987] Raymond Reiter. A Theory of Diagnosis from First Principles. Artif. Intell., 32(1):57-95, 1987.","title":"A Theory of Diagnosis from First Principles","authors":"Raymond Reiter","year":"1987","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Staworko et al., 2012] Slawek Staworko, Jan Chomicki, and Jerzy Marcinkowski. Prioritized repairing and consis- tent query answering in relational databases. Ann. Math. Artif. Intell., 64(2-3):209-246, 2012.","title":"Prioritized repairing and consistent query answering in relational databases","authors":"Slawek Staworko, Jan Chomicki, Jerzy Marcinkowski","year":"2012","venue":"Ann. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Yun et al., 2016] Bruno Yun, Pierre Bisquert, Patrice Buche, and Madalina Croitoru. Arguing About End-of- Life of Packagings: Preferences to the Rescue. In MTSR 2016, pages 119-131, 2016.","title":"Arguing About End-of-Life of Packagings: Preferences to the Rescue","authors":"Bruno Yun, Pierre Bisquert, Patrice Buche, Madalina Croitoru","year":"2016","venue":"MTSR 2016","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Yun et al., 2017] Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert, and Rallou Thomopoulos. A Structural Benchmark for Logical Argumentation Frame- works. In IDA 2017, pages 334-346, 2017.","title":"A Structural Benchmark for Logical Argumentation Frameworks","authors":"Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert, Rallou Thomopoulos","year":"2017","venue":"IDA 2017","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}