本体中继承关系的形式化表示及其应用

摘要

本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联.但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的.为了严格、准确描述这些语义关联,基于本体研究了它们的形式化描述,同时扩展 UML,可视化地表示它们,并在此基础上,应用它们判定知识库中的某些错误.