Abstract: Aimed at lacking of considering the service behavior constraints and the deficiency of the traditional reason matching whose result can’t tell the difference between the same degree in current matching algorithm of semantic Web service，a new matching approach of semantic Web service with service behavior constraints based on the reasoning and the computation of semantic similarity is proposed.This method is divided into three steps.The checking of compatibility to the service behavior constraints is done in the first step；the reasoning to the two services waiting to match is done in the second step；based on the second step the computation of semantic similarity between the ontology concepts is finished in the third step，and the precise matching degree is got.In this way，every service has a precise matching degree which can solve the problem that the services with the same grade in traditional reason matching method cannot tell the difference.Compared to the traditional algorithm of OWL-S/UDDI，the experiment results show that the approach can increase recall and precision ratio greatly.

Key words: semantic Web service, behavior constraint, service matching, reasoning, similarity of ontology concept

摘要： 针对目前语义Web服务匹配方法中缺少对服务行为约束的考虑及传统推理匹配的结果中同一级别不能再区分的缺点，设计了一种带服务行为约束的基于推理和语义相似度计算的匹配方法。方法分为三步：第一步进行服务行为约束兼容性检测；第二步对待匹配的两个服务进行推理；第三步在第二步基础上进行本体概念间的语义相似度计算，得出待匹配服务的精确匹配度。这样每个服务都有了一个精确的匹配度值，避免了传统方法中多个服务因拥有同一个匹配度等级而不能再区分的不足。实验结果表明，该方法较之传统的OWL-S/UDDI匹配方法在查准率和查全率方面得到了很大改进。

关键词: 语义Web服务, 行为约束, 服务匹配, 推理, 本体概念相似度