M. Babík and L. Hluchý, “Optimizing Description Logic Reasoning for the Service Matchmaking and Composition”, Comput. Inform., vol. 27, no. 4, pp. 661–679, Jan. 2012.