A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web

Xiaowang Zhang Guohui Xiao Zuoquan Lin

Published in: CoRR (2013)

Keyphrases

semantic web
description logics
computational complexity
databases
semantic annotation
relational databases