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 eects.The matchmaking of inputs and outputs has got some good results but the preconditions and eects 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 eects.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

作者单位: Institute of Computer System Structure and Networks School of Electronics & Information Engineering,Xian Jiaotong University,Xian Shaanxi 710049,PR China

会议类型: 国际会议

会议名称: 第三届中国语义万维网研讨会(CSWS 2009)

会议地点: 南京

会议语种:英文

页码: 0-21

在线出版日期: 2009-08-29（万方平台首次上网日期，不代表论文的发表时间）