Foundations of Fuzzy Logic and Semantic Web Languages