Expressive fuzzy description logics over lattices