Combining ODM and OCL in ontology verification  

作　　者：钱鹏飞 王英林 张申生 

机构地区：[1]Dept.of Computer Science and Technology,Shanghai Jiaotong University

出　　处：《Journal of Harbin Institute of Technology(New Series)》2009年第5期723-729,共7页哈尔滨工业大学学报（英文版）

基　　金：Sponsored by the National Basic Research Program of China (the Natural Key Basis Research and Development Plan (Grant No.973:2003CB316905));the National Natural Science Foundation of China(Grant No.60374071)

摘　　要：In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution, we propose an ontology model verification approach, in which the object constraint language （OCL） and an ontology definition meta-model （ODM） are used to complete the ontology verification. The ODM is composed of the ontology related elements and the definition rule related elements. The OCL is employed to describe the elements in the ontology definition meta-model： OCL extension for the ontology related elements, and OCL extension for the ontological design patterns. All of the a bove OCL rules will describe the constraint relationships between ontology elements. Associated with an example, the application of the ontology model verification approach based on OCL and ODM is introduced. Consequently, the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.

关 键 词：ontology verification ： OCL： ODM ： ontological desian oattern 

分 类 号：TP311.131[自动化与计算机技术—计算机软件与理论] F426.86[自动化与计算机技术—计算机科学与技术]