Modeling and Reasoning about Semantic Web Services Contract Using Description Logic | IEEE Conference Publication | IEEE Xplore