6 citations · 22 across the 19 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.AI2013
A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web
Xiaowang Zhang, Guohui Xiao, Zuoquan Lin
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci…
cs.AI2013
A Forgetting-based Approach to Merging Knowledge Bases
Dai Xu, Xiaowang Zhang, Zuoquan Lin
This paper presents a novel approach based on variable forgetting, which is a useful tool in resolving contradictory by filtering some given variables, to merging multiple knowledg…
cs.AI2013
A Distance-based Paraconsistent Semantics for DL-Lite
Xiaowang Zhang, Kewen Wang, Zhe Wang +2
DL-Lite is an important family of description logics. Recently, there is an increasing interest in handling inconsistency in DL-Lite as the constraint imposed by a TBox can be easi…