面向元模型的本体模型校验

摘要

在本体合并和映射过程中,经常会产生新的本体模型,为了保证这些本体模型在逻辑上的正确性,需对其进行形式化校验.目前,有关本体模型的形式化校验大都是围绕单个概念或关系来进行,而多个概念和关系之间的结构及约束信息却未得到充分利用.为此,本文引入面向对象中的OCL(Object Constraint Language)语言,并针对本体应用环境进行了相应语言约束扩展,进而完成了对本体定义元模型ODM(Ontology Definition Model)约束和描述,从而实现了本体模型结构及约束逻辑描述的形式化表示.最终,提出了采用本体定义元模型来辅助进行本体模型形式化校验的方法.