Defeasible reasoning for existential rules

Abdelraouf Hecham 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Knowledge representation and reasoning on the Semantic Web has recently focused, due to practical rationale, on the subset of first order logic called existential rules. In this thesis we investigate reasoning with existential rules in presence of conflicting information and introduce defeasible existential rule reasoning. We provide three main salient results as follows. First we show that classical defeasible reasoning techniques need to be revisited for existential rules and study their theoretical and implementation related challenges. Second, we provide a new combinatorial structure that allows for diverse variants of defeasible reasoning to be captured together and study its expressivity and versatility. Third we evaluate our work with respect to the state of the art in inconsistency handling in existential rules and investigate the human appeal of such reasoning techniques.
Document type :
Complete list of metadatas
Contributor : Abes Star <>
Submitted on : Tuesday, April 16, 2019 - 10:58:12 AM
Last modification on : Wednesday, April 17, 2019 - 1:32:52 AM


Files produced by the author(s)


  • HAL Id : tel-01904558, version 2



Abdelraouf Hecham. Defeasible reasoning for existential rules. Other [cs.OH]. Université Montpellier, 2018. English. ⟨NNT : 2018MONTS012⟩. ⟨tel-01904558v2⟩



Record views


Files downloads