An Argumentation Workflow for Reasoning in Ontology Based Data Access

Bruno Yun, Madalina Croitoru

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper we demonstrate how to benefit from structured argumentation 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+.

Original languageEnglish
Title of host publicationComputational Models of Argument
Subtitle of host publicationProceedings of COMMA 2016
EditorsPietro Baroni, Thomas F Gordon, Tatjana Scheffler, Manfred Stede
PublisherIOS Press
Pages61-68
Number of pages8
ISBN (Electronic)978-1-61499-686-6
ISBN (Print)978-1-61499-685-9
DOIs
Publication statusPublished - 2016
EventCOMMA 2016 - University of Potsdam, Potsdam, Germany
Duration: 13 Sep 201616 Sep 2016

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press
Volume287
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314

Conference

ConferenceCOMMA 2016
CountryGermany
CityPotsdam
Period13/09/1616/09/16

Fingerprint Dive into the research topics of 'An Argumentation Workflow for Reasoning in Ontology Based Data Access'. Together they form a unique fingerprint.

  • Cite this

    Yun, B., & Croitoru, M. (2016). An Argumentation Workflow for Reasoning in Ontology Based Data Access. In P. Baroni, T. F. Gordon, T. Scheffler, & M. Stede (Eds.), Computational Models of Argument: Proceedings of COMMA 2016 (pp. 61-68). (Frontiers in Artificial Intelligence and Applications; Vol. 287). IOS Press. https://doi.org/10.3233/978-1-61499-686-6-61