description logics: reasoning support for the semantic web