为了解决语义Web服务匹配方法主要针对服务输入/输出匹配而导致功能匹配结果较为片面的问题,提出了一种基于描述逻辑的语义Web服务前提/效果匹配方法.利用描述逻辑知识库一致性检查推理,判断服务请求与广告的前提/效果之间逻辑蕴含关系,建立类匹配度概念,并由此度量和比较前提/效果匹配结果的优劣,从而对匹配结果进行有意义的排序及分类.实验结果表明,所提方法在查准率与现有方法相当的情况下,具有更高的查全率,特别是将输入/输出与前提/效果匹配一并考虑的情况下,能够更好地区分匹配结果.