ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
How does Incoherence affect Inconsistency-tolerant Semantics for Datalog+/-?
Autor/es:
GUILLERMO R. SIMARI; CRISTHIAN ARIEL DAVID DEAGUSTINI; MARCELO FALAPPA; MARIA VANINA MARTINEZ
Revista:
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Editorial:
SPRINGER
Referencias:
Lugar: Berlin; Año: 2018 p. 1 - 26
ISSN:
1012-2443
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.