A Dynamic Description Logic for Semantic Web Service | IEEE Conference Publication | IEEE Xplore