An argumentation workflow for reasoning in Ontology Based Data Access - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2016

An argumentation workflow for reasoning in Ontology Based Data Access

Bruno Yun
Madalina Croitoru

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 + .
Fichier principal
Vignette du fichier
10_comma2016_Yun.pdf (305.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-01401316 , version 1 (23-11-2016)

Identifiants

Citer

Bruno Yun, Madalina Croitoru. An argumentation workflow for reasoning in Ontology Based Data Access. COMMA: Computational Models of Argument, Sep 2016, Postdam, Germany. pp.61-68, ⟨10.3233/978-1-61499-686-6-61⟩. ⟨lirmm-01401316⟩
180 Consultations
284 Téléchargements

Altmetric

Partager

More