Semantic Web Services Composition Using AI Planning of Description Logics | IEEE Conference Publication | IEEE Xplore