Enviar por SMS: Optimizing Description Logic Reasoning for the Matchmaking and Composition of Semantic Web Services