Jingwei Cheng Z. M. Ma Fu Zhang Xing Wang Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases. 830-837 2009 DEXA http://dx.doi.org/10.1007/978-3-642-03573-9_70 conf/dexa/2009 db/conf/dexa/dexa2009.html#ChengMZW09