Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
An Argumentation Workflow for Reasoning in Ontology Based Data Access
View through CrossRef
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+.
Title: An Argumentation Workflow for Reasoning in Ontology Based Data Access
Description:
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+.
Related Results
TABular Semantic Enhancement Blueprint (TAB-SEB) v1
TABular Semantic Enhancement Blueprint (TAB-SEB) v1
Project website link: https://ariannamorettj.github.io/tab_seb/ Overview Purpose. The workflow blueprint supports semantic enhancement of Cultural Heritage and GLAM metadata by c...
Argumentation In Flux (Modelling Change in the Theory of Argumentation)
Argumentation In Flux (Modelling Change in the Theory of Argumentation)
Argumentation In Flux (Modélisation du changement dans la théorie de l'argumentation)
Abstract argumentation frameworks are a widely used formalism in the field of ...
Logical Challenges in Artificial General Intelligence
Logical Challenges in Artificial General Intelligence
The present thesis pertains to the research area of logic for artificial intelligence (AI), and is motivated by the critical role of automated reasoning in AI, particularly by the ...
Characteristics and processes of registered nurses’ clinical reasoning and factors relating to the use of clinical reasoning in practice: a scoping review
Characteristics and processes of registered nurses’ clinical reasoning and factors relating to the use of clinical reasoning in practice: a scoping review
Objective:
The objective of this review was to examine the characteristics and processes of clinical reasoning used by registered nurses in clinical practice, and to id...
Approaching the Construction of Arguments in Postgraduate Education Programs
Approaching the Construction of Arguments in Postgraduate Education Programs
Constructing arguments, applying logical reasoning, and developing intellectual skills are fundamental to academic success in postgraduate education and qualitative research. The s...
How Large Language Models Can Affect Clinical Reasoning: A Randomized Clinical Trial
How Large Language Models Can Affect Clinical Reasoning: A Randomized Clinical Trial
Abstract
Importance
LLMs have encoded a vast array of medical knowledge and are being integrated into clinical settings as deci...
Ontology--based Tools to Enhance the Curation Workflow
Ontology--based Tools to Enhance the Curation Workflow
AbstractIn order to effectively search, retrieve, and analyze data oftentimes it is curated and tagged with ontology terms. However, the amount of effort to curate the existing set...
Elements of Argumentation
Elements of Argumentation
Background and techniques for formalizing deductive argumentation in a logic-based framework for artificial intelligence.
Logic-based formalizations of argumentation...