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
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...
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...
PERSUASÃO: o componente pragmático da argumentação
PERSUASÃO: o componente pragmático da argumentação
Spe2 E OliveiraA publicação do Tratado da Argumentação: a nova retórica, em 1958, costuma suscitar, entre os adeptos dos estudos em argumentação, uma aproximação com a retórica de ...
Argumentation studies and discourse analysis: the French situation and global perspectives
Argumentation studies and discourse analysis: the French situation and global perspectives
This article focuses on the development of argumentation studies in France and their complex relations with discourse analysis. First, the meanings of the basic word `argument' in ...