Babík, M.; Hluchý, L. Optimizing Description Logic Reasoning for the Service Matchmaking and Composition. Comput. Inform. 2012, 27, 661–679.