70 search results - page 1 / 14 » Handling Locally Stratified Inconsistent Knowledge Bases |
SLOGICA
2002
13 years 5 months ago
2002
AIR
2006
13 years 5 months ago
2006
Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches have been proposed to deal with this problem based on existi...
KSEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
AAAI
2006
13 years 6 months ago
2006
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
ICTAI
1996
IEEE
13 years 9 months ago
1996
IEEE
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...