1. A computer-implemented method comprising: receiving a request for a web service: comparing a description of a behavior of the requested web service to a description of a behavior of an existing web service, wherein the description of the behavior of the requested web service and the description of the behavior of the computing service conform to a description logic; and determining, based on logical rules of the description logic, that the description of the behavior of the existing computing service is subsumed by the description of the behavior of the requested web service.