本体知识库的模块与保守扩充
【出 处】:
【作 者】:
余泉
[1,2] ;
常亮
[2] ;
文习明
[3] ;
王驹
[2]
【摘 要】
模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。 已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上,给出了知识库保守扩充的验证算法,并且从理论上证明可用知识库的保守扩充的验证算法来验证一个知识库是否为另外一个知识库的模块。
相关热词搜索: 知识库 模块抽取 模块整合 通用模块 knowledge baseuniversal module
上一篇:全景图像镶嵌中累积误差的分析与减少方法研究
下一篇:软件体系结构脆性分析与验证