针对Web服务发现中存在的语义异构、逻辑推理复杂、应用实施代价较大以及查准率有待进一步提高等问题，提出了一种基于功能语义标注的Web服务发现方法。定义了领域功能语义模型和本体映射机制，对服务进行功能语义标注以增加语义信息；服务发现时，先对其功能进行语义相似度匹配，满足给定阈值的服务再进行接口匹配。仿真实验表明，提出的方法在保证服务匹配效率的同时，有效避免了语义异构问题，相比传统方法查准率提高了34.1%。