An Argumentation Workflow for Reasoning in Ontology Based Data Access
Bruno Yun, Madalina Croitoru · Frontiers in artificial intelligence and applications · 2016
In this paper we demonstrate how to benefit from structured argumentation frameworks and their implementations to provide for reasoning capabilities of Ontology Based Data Access systems under inconsistency tolerant semantics. More precisely, given an inconsistent Datalog±knowledge base we instantiate it using the ASPIC+framework and show that the reasoning provided by ASPIC+is equivalent to the main inconsistent tolerant semantics in the literature. We provide a workflow that shows the practical interoperability of the logic based frameworks handling Datalog±and ASPIC+.