Search
 
loader loading subjects...
cover
An Argumentation Workflow for Reasoning in Ontology Based Data Access
Bruno Yun, Madalina Croitoru
61 - 68
10.3233/978-1-61499-686-6-61
Frontiers in Artificial Intelligence and Applications
Volume 287: Computational Models of Argument
Abstract

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+.

Download
Creative Commons License