Matchmaking of semantic web service behaviour using description logics

摘要

A computer-implemented method includes receiving a request for a web service and comparing a description of a behavior of the requested web service to a description of a behavior of an existing web service. 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. Based on logical rules of the description logic, it is determined that the description of the behavior of the existing computing service is subsumed by the description of the behavior of the requested web service.