-
题名基于OCL的本体模型校验方法
被引量:1
- 1
-
-
作者
钱鹏飞
王英林
张申生
-
机构
上海宝信软件股份有限公司
上海交通大学电子信息与电气工程学院
-
出处
《计算机应用与软件》
CSCD
2015年第5期7-11,53,共6页
-
基金
国家自然科学基金项目(60773088)
-
文摘
将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL(Object Constraint Language)语言,提出一种基于OCL的本体校验方法。该方法从大量本体模型中抽象出一个本体定义元模型ODM(Ontology Constraint Meta-model),该元模型基于集合关系理论,将本体模型划分为"实体相关元素"和"约束规则相关元素",并通过一系列OCL扩展函数来完成上述两种本体模型元素的形式化表示,以完成基于OCL的本体模型形式化校验。最后,通过宝钢信息共享平台车辆管理本体片段的本体模型校验实例,进一步讨论如何使用该模型校验方法实现本体模型的冲突检测和冲突消解。
-
关键词
本体校验
集合论
OCL
本体定义元模型
冲突消解
-
Keywords
Ontology verification Set theory OCL Ontology definition meta-model Conflict reconciliation
-
分类号
TP391.1
[自动化与计算机技术—计算机应用技术]
-