摘要
模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。已有的工作没有讨论同时含有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.
出处
《计算机工程与科学》
CSCD
北大核心
2016年第11期2261-2267,共7页
Computer Engineering & Science
基金
国家自然科学基金(61463044
61363030)
贵州省科技厅项目(LH[2014]7421)
广西自然科学基金(2015GXNSFAA139285)
广西可信软件重点实验室开放课题