Giorgos Stoilos Giorgos B. Stamou Jeff Z. Pan Vassilis Tzouvaras Ian Horrocks Reasoning with Very Expressive Fuzzy Description Logics. 273-320 2007 30 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper2279.html db/journals/jair/jair30.html#StoilosSPTH07