Sciweavers

KAIS
2011
79views more  KAIS 2011»
13 years 7 months ago
A general framework for measuring inconsistency through minimal inconsistent sets
Abstract. Hunter and Konieczny explored the relationships between measures of inconsistency for a belief base and the minimal inconsistent subsets of that belief base in several of...
Kedian Mu, Weiru Liu, Zhi Jin
CAISE
2010
Springer
13 years 9 months ago
Towards Automated Inconsistency Handling in Design Models
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
Marcos Aurélio Almeida da Silva, Alix Mouge...
DLOG
2009
13 years 10 months ago
Quasi-Classical Semantics for Expressive Description Logics
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin
KR
2010
Springer
13 years 10 months ago
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
Measuring the inconsistency degree of a knowledge base can help us to deal with inconsistencies. Several inconsistency measures have been given under different multi-valued semant...
Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi
DLOG
2010
13 years 10 months ago
Distance-based Measures of Inconsistency and Incoherency for Description Logics
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
Yue Ma, Pascal Hitzler
JELIA
2010
Springer
13 years 11 months ago
Similarity-Based Inconsistency-Tolerant Logics
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
Ofer Arieli, Anna Zamansky
ASE
2000
116views more  ASE 2000»
14 years 8 days ago
Behavioural Conflicts in a Causal Specification
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
Jonathan D. Moffett, Andrew Vickers
SYNTHESE
2008
88views more  SYNTHESE 2008»
14 years 10 days ago
The pathology of validity
Abstract Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read's results and show that this inconsistency is but one half of ...
James A. Woodbridge, Bradley Armour-Garb
JIIS
2006
93views more  JIIS 2006»
14 years 12 days ago
Measuring inconsistency in knowledgebases
It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the...
John Grant, Anthony Hunter
DKE
2006
99views more  DKE 2006»
14 years 14 days ago
How to act on inconsistent news: Ignore, resolve, or reject
Inconsistencies frequently occur in news about the real-world. Some of these inconsistencies may be more significant than others, and some news may contain more inconsistencies th...
Anthony Hunter