Reasoning with Very Expressive Fuzzy Description Logics