Capability Matchmaking of Semantic Web Services with Preconditions and Effects

摘要

Capability matchmaking is one of the key issue in the field of semantic web services research community because it is the basis of doing service discovery and composition.Generally,capability description of the service involves two aspects: the information transformation and the state change produced by execution of the service.The former is represented by inputs and outputs of the service while the latter is represented by preconditions and effects.The matchmaking of inputs and outputs has got some good results but the preconditions and effects is still lack of methods to tract.In this paper we propose using satisfiability checking of Description Logic reasoner to do the matchmaking of preconditions and effects.A formal analysis of the IOPE description with regarding to web services based on Description Logic has been given and also the corresponding matchmaking algorithm.We show that the algorithm proposed has an obvious promotion in the precision at different recall levels.