%0 Journal Article
%T 一种基于知识图谱的实时系统语义约束性实现方法
%A 刘畅
%A 熊新
%A 王彬
%A 程序
%A 薛洁
%A 詹威威
%J 中山大学学报（自然科学版）
%D 2019
%X 摘要 在基于模型驱动方法的实时系统设计过程中,由于源模型到目标模型的语义差异较大,在模型转换过程中难以保证转换前后的语义一致性.针对实时语义体系结构复杂及关系繁琐的特点,本文提出了一种基于知识图谱的实时系统语义约束性实现方法.首先提取实时系统设计过程中的知识实体及关系,构造基于知识实体的本体属性模型,并在此基础上采用图数据库技术实现了实时语义体系的知识图谱.实时语义知识图谱通过对知识实体之间属性和关系的定义,不但可以实现不同建模本体之间严格的语义约束,并且可以实现实时语义的关联、检索和推理,为实时系统模型转换过程中的语义一致性保持问题提供了一个有效的解决方案
%K 语义约束
%K 知识图谱
%K 模型驱动方法
%K 本体
%U http://xwxt.sict.ac.cn/CN/abstract/abstract5225.shtml