| 本体知识库的模块与保守扩充 |
| |
| 引用本文： | 余泉,常亮,文习明,王驹.本体知识库的模块与保守扩充[J].计算机工程与科学,2016,38(11):2261-2267. |
| |
| 作者姓名： | 余泉 常亮 文习明 王驹 |
| |
| 作者单位： | (1.黔南民族师范学院数学与统计学院,贵州 都匀 558000;
2.桂林电子科技大学广西可信软件重点实验室,广西 桂林 541004;
3.广东省委党校信息技术教研部,广东 广州 510053) |
| |
| 基金项目： | 国家自然科学基金（61463044,61363030);贵州省科技厅项目（LH［2014］7421);广西自然科学基金(2015GXNSFAA139285);广西可信软件重点实验室开放课题 |
| |
| 摘 要： | 模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上,给出了知识库保守扩充的验证算法,并且从理论上证明可用知识库的保守扩充的验证算法来验证一个知识库是否为另外一个知识库的模块。
|
| 关 键 词： | 知识库 模块抽取 模块整合 通用模块 |
| 收稿时间： | 2016-07-10 |
| 修稿时间： | 2016-11-25 |
Module and conservative extension
of ontology knowledge base |
| |
| YU Quan,CHANG Liang,WEN Xi ming,WANG Ju.Module and conservative extension
of ontology knowledge base[J].Computer Engineering & Science,2016,38(11):2261-2267. |
| |
| Authors: | YU Quan CHANG Liang WEN Xi ming WANG Ju |
| |
| Affiliation: | (1.School of Mathematics and Statistics,Qiannan Normal University for Nationalities,Duyun 558000;
2.Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004;
3.Department of Information Science,Guangdong Institute of Public Administration,Guangzhou 510053,China) |
| |
| Abstract: | 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 extension, we propose a verification algorithm for the conservative extension of knowledge base, and theoretically prove that it can be used to verifiy whether an ontology knowledge base is a module of another knowledge base. |
| |
| Keywords: | |
|
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
