Description logics approach to semantic matching of Web services | IEEE Conference Publication | IEEE Xplore