Description Logics Approach to Semantic Matching of Web Services