Inconsistency-tolerant reasoning in datalog ontologies via an argumentative semantics

Abstract

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±, consequences to represent statements whose truth can be challenged leading to a better handling of inconsistency in ontological languages.