A Semantic Similarity Measure for Expressive Description Logics