info:eu-repo/semantics/article
How does incoherence affect inconsistency-tolerant semantics for Datalog±?
Fecha
2018-03-07Registro en:
Deagustini, Cristhian Ariel David; Martinez, Maria Vanina; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; How does incoherence affect inconsistency-tolerant semantics for Datalog±?; Springer; Annals of Mathematics and Artificial Intelligence; 82; 1-3; 7-3-2018; 43-68
1012-2443
1573-7470
CONICET Digital
CONICET
Autor
Deagustini, Cristhian Ariel David
Martinez, Maria Vanina
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
Resumen
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.