INVESTIGADORES
FALAPPA Marcelo Alejandro
congresos y reuniones científicas
Título:
On the Influence of Incoherence in Inconsistency-tolerant Semantics for Datalog
Autor/es:
CRISTHIAN A. D. DEAGUSTINI; M. VANINA MARTÍNEZ; MARCELO A. FALAPPA; GUILLERMO R. SIMARI
Lugar:
Buenos Aires
Reunión:
Conferencia; 24th International Joint Conference on Artificial Intelligence, IJCAI'2015; 2015
Institución organizadora:
IJCAI
Resumen:
The concept of incoherence naturally arises in ontological settings, specially when integrating knowledge. In this work we study a notion of incoherence for Datalog ontologies based on the definition of satisfiability of a set of existential rules regarding the set of integrity constraints in a Datalog ontology. We 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 even under inconsistency-tolerant semantics, which is expected as they were not designed to confront such issues. Finally, we propose a notion of incoherency-tolerant semantics for query answering in Datalog, and present a particular one based on the transformation of classic Datalog ontologies into defeasible Datalog ones, which use argumentation as its reasoning machinery.
