本体知识库的模块与保守扩充

Module and conservative extension of ontology knowledge base

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

Modularization is a software engineering method, and it has been introduced into the domain of ontology in recent years to support ontology reuse and ontology integration. The existing work does not discuss the modularization problem of ontology knowledge base which includes TBox and ABox at the same time. Based on the definitions of ontology knowledge base module and conservative exten- sion, we propose a verification algorithm for the conservative extension of knowledge base, and theoreti- cally prove that it can be used to verifly whether an ontology knowledge base is a module of another knowledge base.