How does incoherence affect inconsistency-tolerant semantics for Datalog±?

CRISTHIAN A. D. DEAGUSTINI; M. VANINA MARTÍNEZ; MARCELO A. FALAPPA; GUILLERMO R. SIMARI

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE

SPRINGER

Lugar: Berlin; Año: 2018 vol. 82 p. 43 - 68

1012-2443

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.