An argumentation workflow for reasoning in Ontology Based Data Access

Bruno Yun 1 Madalina Croitoru 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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 + .
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01401316
Contributor : Bruno Yun <>
Submitted on : Wednesday, November 23, 2016 - 10:33:22 AM
Last modification on : Saturday, June 29, 2019 - 2:59:47 PM
Long-term archiving on : Monday, March 20, 2017 - 11:07:37 PM

File

10_comma2016_Yun.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

259

Files downloads

414