基于本体的整体与部分关系的形式化表示及其错误检查研究

整体/部分WP(whole/part)关系在计算机领域建模中无处不在。在一个WP关系中,由于整体对象具有管理和控制部分对象的功能,因此WP关系存在着许多其它关系没有的特征。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些特征,然而这样的解释通常是不准确的。另一方面,由于知识处于不断的增加与更新之中,难免造成知识库中知识的错误,导致知识库维护困难。因此本文首先基于本体对WP关系的特征进行形式化描述,在此基础上,根据WP关系的特征提出了一系列相关知识的形式判定规则。