摘要近几年来,本体作为知识库表示知识的主要技术已经成为研究热点。本体知识库不仅克服了传统知识库的不足和缺陷,还将本体的特点应用在表示知识的层面上,有效提高了知识库的共享与重用。完全化过程是在逻辑知识库封闭假设的前提下,以失败即否定规则为依据,对逻辑知识库中关于同一关系的正的单元子句分析合并为等价式的过程。本文将完全化过程引入本体知识库,对本体知识库完全化,不仅丰富了本体知识库的知识,为知识库推理增加了新的依据,还提供了一种新的查询评价方法。因此,将本体知识库的完全化过程研究作为本体知识库的一个研究课题,具有重大的意义。本文首先介绍了课题的研究背景,总结了本体的表示方法、表示原则及主要应用。其次定义了本体,介绍了知识库系统及表达方式,并通过归纳本体的特点阐述了将本体引入知识库的原因,在此基础上又定义了本体知识库,并与一般数据库进行了对比。然后介绍了描述逻辑和基于描述逻辑的本体表示语言ALC,举例说明了ALC表示的本体知识库。最后定义了完全化过程,通过证明定理验证了它的正确性,并与一般推理方法进行了比较,提出了完全化规则的添加方法,举例论证了完全化对知识库的基本推理以及更一般化的推理的意义。本文的研究成果是定义了完全化过程,提出了完全化规则的构建方法,并举例说明了本体知识库的完全化,证明了完全化的本体知识库对知识库推理的意义。