Skip to Main content Skip to Navigation

Argumentation techniques for existential rules

Abstract : In this thesis, we investigate reasoning techniques with argumentation graphs generated from inconsistent knowledge bases expressed in the existential rules language. The existential rules language is a subset of first-order logic in which a knowledge base is composed of two layers: a fact layer and an ontology layer.The fact layer consists of factual knowledge (usually stored in relational databases) whereas the ontology layer consists of reasoning rules of deduction and negative constraints.Since the classical query answering approaches fail in the presence of inconsistencies, we chose to work with an conflict-tolerant reasoning approach that is based on building graphs with structured arguments and attacks from the deductions of the underlying logical knowledge base.The three main results are the following. First, we study how argumentation graphs are obtained from knowledge bases expressed in existential rules, the structural properties of such graphs and show several insights as to how their generation can be improved. Second, we propose a framework that generates an argumentation graph with a special feature called sets of attacking arguments instead of the regular binary attack relation and show how it improves upon the current state-of-the-art using an empirical analysis. Third, we interest ourselves to ranking-based approaches in both the context of query answering and argumentation reasoning. In the former, we introduce a framework that is based on ranking maximal consistent subsets of facts (repairs) in order to have a more productive query answering. In the latter, we set up the foundation theory for semantics that rank arguments in argumentation graphs with sets of attacking arguments.
Document type :
Complete list of metadata

Cited literature [317 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Friday, September 27, 2019 - 3:34:09 PM
Last modification on : Wednesday, September 9, 2020 - 3:29:52 AM


Version validated by the jury (STAR)


  • HAL Id : tel-02197405, version 2



Bruno Yun. Argumentation techniques for existential rules. Other [cs.OH]. Université Montpellier, 2019. English. ⟨NNT : 2019MONTS011⟩. ⟨tel-02197405v2⟩



Record views


Files downloads