Yining Wu: Transforming Fuzzy Description Logic $\mathcal{ALC}_\mathcal{FL}$ into Classical Description Logic $\mathcal{ALCH}$. URSW (LNCS Vol.) 2013: 177-196