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.
Hai Wang Zengzhi Li Lin Fan
Institute of Computer System Structure and Networks Xian Jiaotong University,Xian 710049,China Computer Science and Technology Department Xian Institute of Post and Telecommunications,Xian 7100
国际会议
南京
英文
1-11
2009-08-29（万方平台首次上网日期，不代表论文的发表时间）