Sciweavers

961 search results - page 1 / 193
» An Algorithm for Computing Semi-stable Semantics
Sort
View
ECSQARU
2007
Springer
13 years 11 months ago
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
GCC
2005
Springer
13 years 10 months ago
The Computation of Semantic Data Cube
The multidimensional analysis based on data cube has been growing interest. However existing data cube model usually does not have the semantics of attributes and hence the analysi...
Yubao Liu, Jian Yin
KR
2010
Springer
13 years 2 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
ESWS
2004
Springer
13 years 10 months ago
S-Match: an Algorithm and an Implementation of Semantic Matching
Abstract. We think of Match as an operator which takes two graph-like structures and produces a mapping between those nodes of the two graphs that correspond semantically to each o...
Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskev...