为了解决物联网(Internet of Things)的内在矛盾,引入了语义协同(Semantic Collaboration),形成新一代网络--语义物联网(Semantic Web of Things)。但语义协同过程中存在两个主要问题：一是容易出现语义失配,不利于物的信息的全球共享；二是传统逻辑表达能力不足以及最终系统的半可判定性,导致计算机推理(逻辑公式的可计算性)的不可持续性。本文提出了在语义物联网中基于逻辑公式推演的语义匹配算法来解决上述问题,弥补了现有大多数采用结构相似度的语义匹配算法所带来的缺陷。在概念层次上,采用了一种改进的S-Match匹配算法；在实例层次上,提出了一种基于可计算性逻辑CL4的本体表示和语义匹配算法；将语义协调问题,从计算各种结构相似度的问题,转化为到推导逻辑公式集之间关系的问题；保证了在开放环境下推理的自动性与完整性,并保证始终可推。根据以上提出的算法,本文提出了面向语义物联网的语义匹配框架,通过加载、一致性维护、规则构建、推理与服务推荐五个功能模块,使用自然语言处理及可视化编程等技术,设计并实现了面向语义物联网的语义匹配系统。最后,利用测试集对系统进行测试,通过查准率和查全率两大指标对算法及系统进行验证。实验结果表明,本文设计的算法与系统能够有效地为用户提供高质量的语义协同服务。