Babík, M., & Hluchý, L. (2008). Optimizing Description Logic Reasoning for the Service Matchmaking and Composition. Computing and Informatics, 27(4), 661–679. https://cai.type.sk/content/2008/4/optimizing-description-logic-reasoning-for-the-service-matchmaking-and-composition/