INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
How does Incoherence affect Inconsistency-tolerant Semantics for Datalog+/-?
GUILLERMO R. SIMARI; CRISTHIAN ARIEL DAVID DEAGUSTINI; MARCELO FALAPPA; MARIA VANINA MARTINEZ
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Lugar: Berlin; Año: 2018 p. 1 - 26
The concept of incoherence naturally arises in ontological settings, specially when integrating knowledge. In the Datalog± literature, however, this is an issue that is yet to be studied more deeply. The main focus of our work is to show how classical inconsistency-tolerant semantics for query answering behaves when dealing with atoms that are relevant to unsatisfiable sets of existential rules, which may hamper the quality of answers and any reasoning task based on those semantics. We also propose a notion of incoherency-tolerant semantics for query answering in Datalog+/-, and exemplify this notion with a particular semantics based on the transformation of classic Datalog± ontologies into defeasible Datalog± ones, which use argumentation as its reasoning machinery.