Bo Zhou Zhuang Miao Yafei Zhang Jianjiang Lu A Tableau Algorithm for EFSHOIN Ontologies. 141-145 2008 FSKD (5) http://dx.doi.org/10.1109/FSKD.2008.144 conf/fskd/2008-5 db/conf/fskd/fskd2008-5.html#ZhouMZL08