Formalization of the inheritance relations based on ontology is presented and UML is extended to describe them visually.Furthermore,they are applied to decide some errors in concept hierarchies.

• 为了严格、准确描述这些语义关联,基于本体研究了它们的形式化描述,同时扩展UML,可视化地表示它们,并在此基础上,应用它们判定知识库中的某些错误。