随着互联网技术与应用的迅速发展,Web服务作为一种新兴的Web应用模式及远程访问标准,很好地解决了异构平台上的数据和应用的整合与共享问题。随着Web服务的增多,在海量的Web服务中准确而有效地找到满足需求的服务变得越来越困难。传统的Web服务发现机制主要是基于关键字匹配,缺乏机器可理解的语义信息,使得服务发现的查全率、查准率偏低,无法实现智能化搜索。因此,引入机器可以理解的语义信息,在基于语义的基础上,提供更准确、效率更高的Web服务匹配算法和机制快速地找到相关的Web服务,成为一个亟待解决的问题。目前的语义匹配算法主要关注服务的输入(Input)、输出(Output)匹配,支持服务前提(Preconditon)、效果(Effect)匹配的算法很少。本文在支持IO匹配的基础上,通过基于描述逻辑的SWRL语言对服务的PE进行描述,并在Pellet推理机的支持下设计并实现了PE匹配算法。同时,通过对OWL-S服务描述框架进行语义扩展,在其中加入QoS信息,使语义匹配算法在IOPE匹配的基础上具有了QoS约束。本文提出了分阶段进行过滤的匹配机制,减小了对不相关服务的相似度的计算量,能极大的提高Web服务匹配的效率。最后,本文设计并实现了语义Web服务的匹配系统,然后通过旅游领域的测试数据验证了分阶段过滤的Web服务匹配机制在提高查准率、降低Web服务匹配的响应时间方面都具有很好的效果。