Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ☆ | Publicación