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