一种基于知识图谱的实时系统语义约束性实现方法  

Real-time System Semantic Constraint Implementation Method Based on Knowledge Graph

作　　者：刘畅 王彬[1] 薛洁[2] 程序 詹威威 熊新[1] LIU Chang;WANG Bin;XUE Jie;CHENG Xu;ZHAN Wei-wei;XIONG Xin(College of Information Engineeing and Automation,Kunming University of Science and Technology,Kunming 650500,China;College of Information Network Security,Yunnan Police Academy,Kunming 650223,China;National Engineering Laboratory for Improving the Govemment's Govemnance Capability Big Data Application Technology,General Technology Research Center,Guiyang 550000,China;CETC Data Research Institute Co.,Ltd.,General Technical Department,Guiyang 550000,China)

机构地区：[1]昆明理工大学信息工程与自动化学院,昆明650500 [2]云南警官学院信息网络安全学院,昆明650223 [3]提升政府治理能力大数据应用技术国家工程实验室,贵阳550000 [4]中电科大数据研究院有限公司,贵阳550000

出　　处：《小型微型计算机系统》2019年第12期2644-2649,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(61263017)资助;国家社科基金项目(13CFX038)资助

摘　　要：在基于模型驱动方法的实时系统设计过程中,由于源模型到目标模型的语义差异较大,在模型转换过程中难以保证转换前后的语义一致性.针对实时语义体系结构复杂及关系繁琐的特点,本文提出了一种基于知识图谱的实时系统语义约束性实现方法.首先提取实时系统设计过程中的知识实体及关系,构造基于知识实体的本体属性模型,并在此基础上采用图数据库技术实现了实时语义体系的知识图谱.实时语义知识图谱通过对知识实体之间属性和关系的定义,不但可以实现不同建模本体之间严格的语义约束,并且可以实现实时语义的关联、检索和推理,为实时系统模型转换过程中的语义一致性保持问题提供了一个有效的解决方案.In the real-time system design process based on the model-driven method,due to the large semantic difference between the source model and the target model,it is difficult to guarantee the semantic consistency before and after the transformation in the model transformation process.Aiming at the complexity of real-time semantic architecture and the cumbersome relationship,this paper proposes a real-time system semantic constraint implementation method based on knowledge graph.Firstly,the knowledge entities and relationships in the real-time system design process are extracted,and the ontology attribute model based on knowledge entities is constructed.Based on this,the graph database technology is used to realize the knowledge map of the real-time semantic system.The real-time semantic knowledge map can not only realize the strict semantic constraints between different modeling ontology,but also realize the real-time semantic association,retrieval and reasoning by defining the attributes and relationships between knowledge entities.It provides an effective solution to the semantic consistency maintenance problem in the real-time system model conversion process.

关 键 词：语义约束 知识图谱 模型驱动方法 本体 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]