Describir: Foundations of Fuzzy Logic and Semantic Web Languages