Buscar
Mostrando ítems 1-10 de 75
Ontology Reasoning and Evolution with Inconsistency Tolerance: An Argumentative Approach to Revision of Description Logics
(IOS Press, 2016-03-02)
Reasoning and change over inconsistent ontologies (i-ont(s)) is of utmost relevance in sciences like medicine and law. Argumentation may be an appropriate formalism to cope with both problems: (reasoning) through an ...
How does incoherence affect inconsistency-tolerant semantics for Datalog±?
(Springer, 2018-03-07)
The concept of incoherence naturally arises in ontological settings, specially when integrating knowledge. In the Datalog± literature, however, this is an issue that is yet to be studied more deeply. The main focus of our ...
A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoning
(Pergamon-Elsevier Science Ltd, 2016-12-01)
We propose a new family of abstract argumentation frameworks which we refer to as generalized (identified through the acronym GenAF), due to its ability of adapting to different representation languages. GenAFs are formalized ...
Inconsistency-tolerant query answering for existential rules
(Elsevier Science, 2022-06)
Querying inconsistent knowledge bases is an intriguing problem that gave rise to a flourishing research activity in the knowledge representation and reasoning community during the last years. It has been extensively studied ...
Inconsistent-tolerant base revision through argument theory change
(Oxford University Press, 2012-02)
Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation ...
Inconsistent-tolerant base revision through Argument Theory Change
(OXFORD UNIV PRESSOXFORD, 2012)
Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation ...
Generalized abstract argumentation: A first-order machinery towards ontology debugging
(Sociedad Iberoamericana de Inteligencia Artificial, 2010-03)
Same as Dung's abstract argumentation framework (AF), the notion of generalized abstract argumentation framework (GenAF) aims at reasoning about inconsistency disregarding any logic for arguments; thus both the knowledge ...