基于 OCL的本体模型校验方法

• 作者: 张申生 王英林 钱鹏飞
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 本体校验 集合论OCL 本体定义元模型 冲突消解
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 7-11,53
• 页数: 6页
• 分类号: TP391.1
• 字数: 6592字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2015.05.002

摘要

将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL( Object Constraint Language)语言,提出一种基于OCL的本体校验方法. 该方法从大量本体模型中抽象出一个本体定义元模型ODM(Ontology Constraint Meta-model),该元模型基于集合关系理论,将本体模型划分为"实体相关元素"和"约束规则相关元素",并通过一系列OCL扩展函数来完成上述两种本体模型元素的形式化表示,以完成基于OCL的本体模型形式化校验. 最后,通过宝钢信息共享平台车辆管理本体片段的本体模型校验实例,进一步讨论如何使用该模型校验方法实现本体模型的冲突检测和冲突消解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张申生	上海交通大学电子信息与电气工程学院	160	3802	32.0	55.0
2	王英林	上海交通大学电子信息与电气工程学院	39	530	12.0	22.0
3	钱鹏飞		2	1	1.0	1.0