Inconsistency-Tolerant Reasoning in Datalog+/- Ontologies via an Argumentative Semantics

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

LECTURE NOTES IN COMPUTER SCIENCE

Springer

Año: 2014 vol. 8864 p. 15 - 27

0302-9743

The Semantic Web provides an effective infrastructure that allows data to be easily shared and reused across applications. At its core is the description of ontological knowledge using ontological languages which are powerful knowledge representation tools with good decidability and tractability properties; Datalog is one of these tools. The problem of inconsistency has been acknowledged in both the Semantic Web and Database Theory communities. Here we introduce elements of defeasible argumentative reasoning in Datalog, allowing consequences to represent statements whose truth can be challenged leading to abetter handling of inconsistency in ontological languages.