A Note on Semantic Web Services Specification and Composition in Constructive Description Logics