Handling Disagreement in Ontologies-Based Reasoning via Argumentation

Ontologies are at the heart of the Semantic Web technologies. This paper introduces a framework for reasoning under uncertainty in the context of ontologies represented in description logics; these ontologies could be inconsistent or incoherent. Conflicts are addressed through a form of logic-based argumentation. We examine how the number of attacks and the weights of arguments can be used to define various labelling functions that identify the justification statuses of arguments. Then, different inference relations are distinguished to obtain meaningful answers to queries from imperfect ontologies without extra computational costs compared to classical DL reasoning. Lastly, we study the properties of these new entailment relations and their relationships with other well-known existing ones.

[1]  Rafael Peñaloza,et al.  BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies , 2016, SAT.

[2]  Salem Benferhat,et al.  How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases? , 2015, IJCAI.

[3]  Thomas Lukasiewicz,et al.  Expressive probabilistic description logics , 2008, Artif. Intell..

[4]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[5]  Jeff Z. Pan,et al.  Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.

[6]  Didier Dubois,et al.  A Possibilistic Analysis of Inconsistency , 2015, SUM.

[7]  Madalina Croitoru,et al.  A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering , 2016, KR.

[8]  Jianfeng Du,et al.  Extending description logics with uncertainty reasoning in possibilistic logic , 2007, Int. J. Intell. Syst..

[9]  Anthony Hunter,et al.  Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer , 2007, 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007).

[10]  Anthony Hunter,et al.  Instantiating abstract argumentation with classical logic arguments: Postulates and properties , 2011, Artif. Intell..

[11]  Anthony Hunter.  Towards higher impact argumentation , 2004, NMR.

[12]  Maurizio Lenzerini,et al.  Inconsistency-tolerant query answering in ontology-based data access , 2015, J. Web Semant..

[13]  Thomas Lukasiewicz,et al.  From Classical to Consistent Query Answering under Existential Rules , 2015, AMW.

[14]  Paulo Shakarian,et al.  Belief revision in structured probabilistic argumentation , 2015, Annals of Mathematics and Artificial Intelligence.

[15]  Guillermo Ricardo Simari,et al.  ONTOarg: A decision support framework for ontology integration based on argumentation , 2013, Expert Syst. Appl..

[16]  Hai Wan,et al.  Query Answering with Inconsistent Existential Rules under Stable Model Semantics , 2016, AAAI.

[17]  Anthony Hunter,et al.  A logic-based theory of deductive arguments , 2001, Artif. Intell..

[18]  Camille Bourgaux,et al.  Inconsistency Handling in Ontology-Mediated Query Answering , 2016 .

[19]  Amel Bouzeghoub,et al.  Handling conflicts in uncertain ontologies using deductive argumentation , 2017, WI.

[20]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies , 2005, IJCAI.

[21]  Jianqiang Li,et al.  Repairing and reasoning with inconsistent and uncertain ontologies , 2012, Adv. Eng. Softw..

[22]  Henri Prade,et al.  Reaching Agreement Through Argumentation: A Possibilistic Approach , 2004, KR.

[23]  Sanjay Modgil,et al.  On the Graded Acceptability of Arguments , 2015, IJCAI.

[24]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[25]  Bijan Parsia,et al.  Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.

[26]  Madalina Croitoru,et al.  Non-Objection Inference for Inconsistency-Tolerant Query Answering , 2016, IJCAI.

[27]  Ringo Baumann.  Characterizing Equivalence Notions for Labelling-Based Semantics , 2016, KR.

[28]  Éric Grégoire,et al.  A Conditional Logic-Based Argumentation Framework , 2013, SUM.

[29]  Meghyn Bienvenu.  Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account , 2018, Description Logics.

[30]  Meghyn Bienvenu,et al.  On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies , 2012, AAAI.

[31]  Evelina Lamma,et al.  Reasoning with Probabilistic Ontologies , 2015, IJCAI.

[32]  Guillermo Ricardo Simari,et al.  How does incoherence affect inconsistency-tolerant semantics for Datalog±? , 2016, Annals of Mathematics and Artificial Intelligence.

[33]  François Goasdoué,et al.  Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases , 2019, J. Artif. Intell. Res..

[34]  H. Prade,et al.  Possibilistic logic , 1994 .

[35]  Didier Dubois,et al.  Argumentative inference in uncertain and inconsistent knowledge bases , 1993, UAI.

[36]  Michel Ludwig.  Just: a Tool for Computing Justifications w.r.t. ELH Ontologies , 2014, ORE.