Return to Article Details Optimizing Description Logic Reasoning for the Service Matchmaking and Composition Download Download PDF