近年来,随着移动互联以及智能计算技术的高速发展,很多智能感知和计算设备嵌入到物理环境中,使得普适计算、物联网等领域得到了迅猛地发展。信息空间与物理空间的融合使得人们可以在任何地点、任何时间以任意方式获得自己想要的应用和服务。智能家庭(Smart Home)是普适计算领域的一个典型应用。根据领域服务的需要,环境中嵌入了各种各样的传感设备,用于感知环境、资源以及用户活动的情境状态。这些情境信息被传入到普适计算的控制系统,系统根据一般性规则以及用户的个性化规则提供最终的服务,进而满足用户的活动需求。然而,由于普适计算环境的动态性、开放性,服务的注册、更新、移除和交互行为很难预测,增加了服务协调的复杂性。不合理的服务逻辑不仅难以满足用户的需求,也可能为用户带来负面的干扰。造成上述干扰的本质原因在于服务缺乏对自身以及周边环境的深入了解,无法发现并获取导致不一致现象的必要的信息。基于语义的知识模型可以深度挖掘服务的隐含信息,除了功能信息外,还可以包括对周边环境的影响和资源的状态,进一步增加服务交互的深度和广度。本文采用语义推理规则,实现普适服务之间的协调管理。本文首先详细分析了国内外针对普适计算领域的研究现状,重点关注服务的冲突与协调方面的研究。基于上述研究,本文以智能家庭领域为背景,基于本体OWL,构建了情境本体模型,融入了服务与环境中各种资源交互时所需要的信息。其次,基于W3C提出的网络服务顶层本体规范,分析和设计了普适服务的顶层功能模型OUL-S,该模型重点关注普适服务与环境交互中所需要的信息。进而,基于上述模型,本文分析了智能家庭中的若干不一致场景,并归纳中普适服务协调的三方面需求,设计了语义推理规则,实现在不同情境下执行合理的服务策略。最后,采用本体构建及语义网规则推理工具对上述方法进行验证。本文的研究表明,基于语义的推理规则可以很好地与本体模型结合,推出有效的解决方案,较好地协调普适服务交互过程中存在的问题。