An argumentation workflow for reasoning in Ontology Based Data Access

Bruno Yun; Madalina Croitoru

An argumentation workflow for reasoning in Ontology Based Data Access

Bruno Yun ¹ Madalina Croitoru ¹

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: Computational Models of Argument, Sep 2016, Postdam, Germany. 6th International Conference on Computational Models of Argument, 2016

Domaine :

Informatique [cs]

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 : mercredi 12 décembre 2018 - 15:46:47
Document(s) archivé(s) le : lundi 20 mars 2017 - 23:07:37

10_comma2016_Yun.pdf

Fichiers produits par l'(les) auteur(s)

An argumentation workflow for reasoning in Ontology Based Data Access

Fichier

Identifiants

Collections

Citation

Exporter

Métriques

210

248

Contact

An argumentation workflow for reasoning in Ontology Based Data Access

Fichier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

210

248

Contact