Combining ODM and OCL in ontology verification

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.