Dynamic Description Logic Based Semantics Web Service Composition | IEEE Conference Publication | IEEE Xplore