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

ONTOLOGY MODEL VERIFICATION APPROACH BASED ON OCL

作　　者：钱鹏飞[1] 王英林[2] 张申生[2] 

机构地区：[1]上海宝信软件股份有限公司,上海201900 [2]上海交通大学电子信息与电气工程学院,上海200240

出　　处：《计算机应用与软件》2015年第5期7-11,53,共6页Computer Applications and Software

基　　金：国家自然科学基金项目(60773088)

摘　　要：将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL(Object Constraint Language)语言,提出一种基于OCL的本体校验方法。该方法从大量本体模型中抽象出一个本体定义元模型ODM(Ontology Constraint Meta-model),该元模型基于集合关系理论,将本体模型划分为"实体相关元素"和"约束规则相关元素",并通过一系列OCL扩展函数来完成上述两种本体模型元素的形式化表示,以完成基于OCL的本体模型形式化校验。最后,通过宝钢信息共享平台车辆管理本体片段的本体模型校验实例,进一步讨论如何使用该模型校验方法实现本体模型的冲突检测和冲突消解。In this paper, by combining the set and relation theory with ontology model and introducing and expanding Object Constraint Language （OCL） in object oriented technology, we present an OCL-based ontology verification method. The method extracts an ontology defi- nition meta-model （ ODM）, which is based on set and relation theory, from a large number of ontology models. The ontology model is divided into ＇ entity related element＇ and ＇ constraint rule related element＇ , and through a series of OCL expansion functions the formalised expres- sion of the above 2 kinds of ontology model elements are completed so as to fulfil the OCL-based formalised ontology model verification. In the end, the issue of realising ontology model conflict inspection and reconciliation using this model verification approach is further discussed through an ontology model verification sample of ＇ vehicle management ontology slice of Baosteel information sharing platform＇.

关 键 词：本体校验 集合论 OCL 本体定义元模型 冲突消解 

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术]