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 + .
Type de document :
Communication dans un congrès
COMMA, Sep 2016, Postdam, Germany
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01401316
Contributeur : Bruno Yun <>
Soumis le : mercredi 23 novembre 2016 - 10:33:22
Dernière modification le : jeudi 11 janvier 2018 - 17:01:52
Document(s) archivé(s) le : lundi 20 mars 2017 - 23:07:37

Fichier

10_comma2016_Yun.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01401316, version 1

Collections

Citation

Bruno Yun, Madalina Croitoru. An argumentation workflow for reasoning in Ontology Based Data Access. COMMA, Sep 2016, Postdam, Germany. 〈lirmm-01401316〉

Partager

Métriques

Consultations de la notice

124

Téléchargements de fichiers

74