Composition of Semantic Web Services in a Constructive Description Logic.