An argumentation workflow for reasoning in Ontology Based Data Access
Résumé
In this paper we demonstrate how to benefit from structured argumenta-tion 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 + .
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...