作者：余泉; 常亮; 文习明; 王驹知识库模块抽取模块整合通用模块
摘要：模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。 已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上，给出了知识库保守扩充的验证算法，并且从理论上证明可用知识库的保守扩充的验证算法来验证一个知识库是否为另外一个知识库的模块。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机工程与科学》（CN：43-1258/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机工程与科学》的办刊宗旨是为计算机界同行发表有创见的学术论文，介绍有特色的科研成果，探讨有新意的学术观点提供理想园地；活跃计算机界学术气氛，扩大国内外交流，为发展中国的计算机事业尽一点微薄之力。本刊强调学术性、及时性和普及性。
北大期刊、统计源期刊
人气 542299 评论 58
部级期刊
人气 230163 评论 65
人气 228849 评论 63
人气 214642 评论 35
