期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于OCL的本体模型校验方法 被引量:1
1
作者 钱鹏飞 王英林 张申生 《计算机应用与软件》 CSCD 2015年第5期7-11,53,共6页
将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL(Object Constraint Language)语言,提出一种基于OCL的本体校验方法。该方法从大量本体模型中抽象出一个本体定义元模型ODM(Ontology Constraint Meta-model),该元模型基... 将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL(Object Constraint Language)语言,提出一种基于OCL的本体校验方法。该方法从大量本体模型中抽象出一个本体定义元模型ODM(Ontology Constraint Meta-model),该元模型基于集合关系理论,将本体模型划分为"实体相关元素"和"约束规则相关元素",并通过一系列OCL扩展函数来完成上述两种本体模型元素的形式化表示,以完成基于OCL的本体模型形式化校验。最后,通过宝钢信息共享平台车辆管理本体片段的本体模型校验实例,进一步讨论如何使用该模型校验方法实现本体模型的冲突检测和冲突消解。 展开更多
关键词 本体校验 集合论 OCL 本体定义元模型 冲突消解
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部