TY  - RPRT
TI  - A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web
AU  - Xiaowang Zhang
AU  - Guohui Xiao
AU  - Zuoquan Lin
PY  - 2013
UR  - https://arxiv.org/abs/1301.2146
ID  - 1301.2146
ER  -