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

计算机工程与科学

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

余泉1,2,常亮2,文习明3,王驹2

(1.黔南民族师范学院数学与统计学院,贵州都匀 558000;

2.桂林电子科技大学广西可信软件重点实验室,广西桂林 541004;
3.广东省委党校信息技术教研部,广东广州 510053)

收稿日期:2016-07-10 修回日期:2016-09-08 出版日期:2016-11-25 发布日期:2016-11-25
基金资助:
国家自然科学基金（61463044,61363030);贵州省科技厅项目（LH［2014］7421);广西自然科学基金(2015GXNSFAA139285);广西可信软件重点实验室开放课题

Module and conservative extension

of ontology knowledge base

YU Quan1,2,CHANG Liang2,WEN Ximing3,WANG Ju2

(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)

Received:2016-07-10 Revised:2016-09-08 Online:2016-11-25 Published:2016-11-25

摘要/Abstract

摘要：

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

关键词: 知识库, 模块抽取, 模块整合, 通用模块

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.

Key words:

knowledge base, module extraction, module integration, universal module

余泉1,2,常亮2,文习明3,王驹2. 本体知识库的模块与保守扩充[J]. 计算机工程与科学.

YU Quan1,2,CHANG Liang2,WEN Ximing3,WANG Ju2.

Module and conservative extension

of ontology knowledge base

[J]. Computer Engineering & Science.

[1]	冯雪1，于戈1，马宗民1，詹永丰2. DICOM 数据的语义查询及优化[J]. 计算机工程与科学, 2016, 38(08): 1676-1681.
[2]	钟艳如，卢宏成，曾聪文. 装配公差综合领域本体知识库的构建[J]. 计算机工程与科学, 2016, 38(07): 1413-1418.
[3]	汤效琴1 ，刘立波1 ，周涛2. 利用海量知识库实现实体标注的一种方法[J]. J4, 2015, 37(05): 895-900.
[4]	张锡爱，马翡. 主动知识辅助系统中制动蹄设计知识库的构建[J]. J4, 2013, 35(1): 175-179.
[5]	王振宇1，唐远华1，郭力2. 面向分层结构的网页分类与抓取[J]. J4, 2012, 34(11): 1-6.
[6]	狄冬梅. 基于DSpace构建传统蒙古文学科机构知识库平台[J]. J4, 2010, 32(10): 139-141.
[7]	陈余许威赵克杨欢. 一个领域自然语言理解的知识获取工具的设计实现[J]. J4, 2008, 30(5): 147-149.
[8]	杨洋韩杰滕至阳. 基于CommonKADS模型的知识库应用[J]. J4, 2007, 29(6): 148-150.
[9]	刘玲[1] 周经野[2] 罗慧慧[1]. 基于XML的文本规划方法[J]. J4, 2006, 28(11): 108-110.
[10]	陈德礼程羽. 基于神经网络和规则的专家系统的应用研究[J]. J4, 2004, 26(6): 70-72.
[11]	童红霞谢深泉. ICAI中知识的表示[J]. J4, 2004, 26(3): 87-89.
[12]	肖妍李之棠. 流异常自动检测网络监控系统的设计[J]. J4, 2003, 25(2): 7-10.
[13]	刘英群何丕廉. 未来ICAI系统中的知识库[J]. J4, 2000, 22(3): 78-80.
[14]	叶绿. 基于知识的多专家决策支持系统[J]. J4, 1999, 21(3): 87-91.