Skip to Main content Skip to Navigation
Conference papers

A formalism unifying Defeasible Logics and Repair Semantics for existential rules

Abdelraouf Hecham 1 Pierre Bisquert 2, 1 Madalina Croitoru 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 : Two prominent ways of handling inconsistency provided by the state of the art are repair semantics and Defeasible Logics. In this paper we place ourselves in the setting of inconsistent knowledge bases expressed using existential rules and investigate how these approaches relate to each other. We run an experiment that checks how human intuitions align with those of either repair-based or defeasible methods and propose a new semantics combining both worlds.
Document type :
Conference papers
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03037374
Contributor : Pierre Bisquert <>
Submitted on : Thursday, December 3, 2020 - 9:38:52 AM
Last modification on : Thursday, January 7, 2021 - 9:14:03 AM
Long-term archiving on: : Thursday, March 4, 2021 - 6:34:34 PM

File

ICCS2020.pdf
Files produced by the author(s)

Identifiers

Citation

Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru. A formalism unifying Defeasible Logics and Repair Semantics for existential rules. ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.3-17, ⟨10.1007/978-3-030-57855-8_1⟩. ⟨lirmm-03037374⟩

Share

Metrics

Record views

70

Files downloads

103