Fuzzy Description Logic - Lecture 13-1 - Finitely-Valued Fuzzy EL