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