【摘要】 为了解决语义Web服务匹配方法主要针对服务IO描述的匹配,导致匹配结果较为片面的问题,提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法.具体使用描述逻辑概念标注服务IO,以描述逻辑断言库刻画服务PE.进行服务匹配时,利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系;利用描述逻辑ABox一致性检测推理,判断服务请求与广告PE之间的逻辑蕴含关系;依据此蕴含关系,将PE匹配情况划分为4种,即Exact,Perfect, Side-effect和Common匹配,用以对匹配结果进行有意义的排序.实验结果表明,所提方法在召回率与现有方法相当的情况下,具有更高的查准率.更多还原

【Abstract】 In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO (inputs,outputs)descriptions which may result in one-sidedness,a description-logic-based IOPE (inputs,outputs,preconditions,effects)description and matchmaking method is proposed for semantic web service. The description logic concept is used to annotate service IO and the description logic assertion is employed to describe service PE(preconditions,effects). TBox subsumption checking is used to measure the subsumption relationship between IO descriptions of service request and advertising;ABox consistency checking is used for checking the logical implication between PE descriptions of service request and advertising. Based upon the logical implication,four kinds of PE matching degrees are proposed to measure and compare the pros and cons of the results of matchmaking. They are the exact,perfect,side-effect and common match. Experiments show that the method has a higher precision rate under the same recall rate compared with the existing method.更多还原