摘要：模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。 已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上，给出了知识库保守扩充的验证算法，并且从理论上证明可用知识库的保守扩充的验证算法来验证一个知识库是否为另外一个知识库的模块。

关键词：知识库 模块抽取 模块整合 通用模块 

单位：黔南民族师范学院数学与统计学院; 贵州都匀558000; 桂林电子科技大学广西可信软件重点实验室; 广西桂林541004; 广东省委党校信息技术教研部; 广东广州510053