Sciweavers

619 search results - page 3 / 124
» Paraconsistent Reasoning for the Semantic Web
Sort
View
IJAR
2007
96views more  IJAR 2007»
13 years 7 months ago
A paraconsistent logic programming approach for querying inconsistent databases
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
Sandra de Amo, Mônica Sakuray Pais
ECSQARU
1999
Springer
13 years 12 months ago
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
Ofer Arieli, Arnon Avron
IJAR
2008
91views more  IJAR 2008»
13 years 7 months ago
Distance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
Ofer Arieli
ECSQARU
2007
Springer
14 years 1 months ago
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
AI
2010
Springer
13 years 10 months ago
Argumentation-Based Reasoning with Inconsistent Knowledge Bases
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...
Xiaowang Zhang, Zhihu Zhang, Dai Xu, Zuoquan Lin