基于语义的普适服务建模及服务协调推理规则研究

发布时间：2018-04-03 14:10

本文选题：普适计算　切入点：本体　出处：《大连理工大学》2014年硕士论文

【摘要】：近年来,随着移动互联以及智能计算技术的高速发展,很多智能感知和计算设备嵌入到物理环境中,使得普适计算、物联网等领域得到了迅猛地发展。信息空间与物理空间的融合使得人们可以在任何地点、任何时间以任意方式获得自己想要的应用和服务。智能家庭(Smart Home)是普适计算领域的一个典型应用。根据领域服务的需要,环境中嵌入了各种各样的传感设备,用于感知环境、资源以及用户活动的情境状态。这些情境信息被传入到普适计算的控制系统,系统根据一般性规则以及用户的个性化规则提供最终的服务,进而满足用户的活动需求。然而,由于普适计算环境的动态性、开放性,服务的注册、更新、移除和交互行为很难预测,增加了服务协调的复杂性。不合理的服务逻辑不仅难以满足用户的需求,也可能为用户带来负面的干扰。造成上述干扰的本质原因在于服务缺乏对自身以及周边环境的深入了解,无法发现并获取导致不一致现象的必要的信息。基于语义的知识模型可以深度挖掘服务的隐含信息,除了功能信息外,还可以包括对周边环境的影响和资源的状态,进一步增加服务交互的深度和广度。本文采用语义推理规则,实现普适服务之间的协调管理。本文首先详细分析了国内外针对普适计算领域的研究现状,重点关注服务的冲突与协调方面的研究。基于上述研究,本文以智能家庭领域为背景,基于本体OWL,构建了情境本体模型,融入了服务与环境中各种资源交互时所需要的信息。其次,基于W3C提出的网络服务顶层本体规范,分析和设计了普适服务的顶层功能模型OUL-S,该模型重点关注普适服务与环境交互中所需要的信息。进而,基于上述模型,本文分析了智能家庭中的若干不一致场景,并归纳中普适服务协调的三方面需求,设计了语义推理规则,实现在不同情境下执行合理的服务策略。最后,采用本体构建及语义网规则推理工具对上述方法进行验证。本文的研究表明,基于语义的推理规则可以很好地与本体模型结合,推出有效的解决方案,较好地协调普适服务交互过程中存在的问题。
[Abstract]:In recent years, with the rapid development of mobile interconnection and intelligent computing technology, many intelligent sensing and computing devices are embedded in the physical environment, which makes pervasive computing, the Internet of things and other fields have been rapidly developed.The fusion of information space and physical space allows people to obtain their desired applications and services at any time and anywhere.Smart Home (Smart Home) is a typical application of pervasive computing.According to the needs of domain services, a variety of sensing devices are embedded in the environment to sense the situational state of the environment, resources and user activity.These situational information are introduced into the pervasive computing control system, and the system provides the final service according to the general rules and the user's personalized rules, and then meets the user's activity needs.However, due to the dynamic, open, service registration, update, removal and interaction behavior of pervasive computing environment is difficult to predict, which increases the complexity of service coordination.Unreasonable service logic is not only difficult to meet the needs of users, but also may bring negative interference to users.The essential reason for these disturbances lies in the service's lack of in-depth understanding of itself and the surrounding environment, and the inability to detect and obtain the necessary information that leads to inconsistencies.The semantic knowledge model can deeply mine the hidden information of the service, besides the function information, it can also include the influence on the surrounding environment and the state of the resources, and further increase the depth and breadth of the service interaction.In this paper, semantic reasoning rules are used to realize the coordination and management of universal services.In this paper, the current situation of research on pervasive computing at home and abroad is analyzed in detail, focusing on the conflict and coordination of services.Based on the above research, this paper builds a situational ontology model based on ontology owl in the context of intelligent home domain, which integrates the information needed in the interaction between services and various resources in the environment.Secondly, based on the top-level ontology specification proposed by W3C, the top-level functional model OUL-Sof pervasive services is analyzed and designed. The model focuses on the information needed in the interaction between pervasive services and environment.Then, based on the above model, this paper analyzes some inconsistent scenarios in intelligent home, sums up the three requirements of universal service coordination, designs semantic inference rules, and implements reasonable service strategies in different situations.Finally, ontology construction and semantic web rule reasoning tools are used to verify the above methods.The research in this paper shows that the semantic-based reasoning rules can be well combined with the ontology model, and an effective solution can be developed to better coordinate the problems existing in the process of universal service interaction.
【学位授予单位】：大连理工大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09

【参考文献】