Artículo
How does incoherence affect inconsistency-tolerant semantics for Datalog±?
Deagustini, Cristhian Ariel David
; Martinez, Maria Vanina
; Falappa, Marcelo Alejandro
; Simari, Guillermo Ricardo
Fecha de publicación:
07/03/2018
Editorial:
Springer
Revista:
Annals of Mathematics and Artificial Intelligence
ISSN:
1012-2443
e-ISSN:
1573-7470
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
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.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - BAHIA BLANCA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - BAHIA BLANCA
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - BAHIA BLANCA
Citación
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
Compartir
Altmétricas