A formalism unifying defeasible logics and repair semantics for existential rules

DOI10.1007/978-3-030-57855-8_1zbMATH Open1476.68253OpenAlexW3085838839MaRDI QIDQ2038047FDOQ2038047

Authors: Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru 

Publication date: 8 July 2021

Full work available at URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-03037374/file/ICCS2020.pdf

Recommendations

• Logic-based argumentation with existential rules
• \(\exists \)-ASP for computing repairs with existential ontologies
• Inconsistency-tolerant query answering: rationality properties and computational complexity analysis
• On the consistency of defeasible databases
• Towards practical deletion repair of inconsistent DL-programs

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

This page was built for publication: A formalism unifying defeasible logics and repair semantics for existential rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2038047)