【摘要】：模塊化是軟件工程的一種方法,近年來被引入到本體領域,用以支持本體的重用和本體的整合。已有的工作沒有討論同時含有TBox和ABox的本體知識庫的模塊化的相關問題。在定義本體知識庫的模塊和知識庫的保守擴充的基礎之上,給出了知識庫保守擴充的驗證算法,并且從理論上證明可用知識庫的保守擴充的驗證算法來驗證一個知識庫是否為另外一個知識庫的模塊。
[Abstract]:Modularization is a method of software engineering, which has been introduced into the field of ontology in recent years to support ontology reuse and ontology integration. Previous work has not discussed the modularization of ontology knowledge base with both TBox and ABox. On the basis of defining the module of ontology knowledge base and the conservative expansion of knowledge base, the verification algorithm of conservative expansion of knowledge base is given. And it is proved theoretically that a conservative extended verification algorithm of the knowledge base can be used to verify whether one knowledge base is a module of another knowledge base.
【作者單位】： 黔南民族師范學院數學與統(tǒng)計學院;桂林電子科技大學廣西可信軟件重點實驗室;廣東省委黨校信息技術教研部;
【基金】：國家自然科學基金(61463044,61363030) 貴州省科技廳項目(LH[2014]7421) 廣西自然科學基金(2015GXNSFAA139285) 廣西可信軟件重點實驗室開放課題
【分類號】：TP301.6

【相似文獻】

相關期刊論文 前10條

1 肖紅軍;趙克;;智能輔導系統(tǒng)的本體知識庫的設計和實現研究[J];西安郵電學院學報;2006年03期

2 陽酉良;歐陽松;;支持電信企業(yè)系統(tǒng)整合的本體知識庫[J];計算機與數字工程;2007年08期

3 葉曉燕;;異構本體知識庫合并技術研究[J];福建電腦;2010年01期

4 葉曉燕;巫建偉;;本體知識庫合并系統(tǒng)的設計[J];福建電腦;2013年07期

5 王志;夏士雄;牛強;;本體知識庫的自然語言查詢重寫研究[J];微電子學與計算機;2009年08期

6 馮淑芳;王素格;;面向觀點挖掘的汽車評價本體知識庫的構建[J];計算機應用與軟件;2011年05期

7 張守雪;嚴波;高冬潔;;基于本體知識庫構建方法探討[J];計算機時代;2014年04期

8 吳淑雷;桂占吉;邢�；�;;基于OWL的試題本體知識庫構建研究[J];海南師范學院學報(自然科學版);2007年02期

9 胡靜文;趙繼娣;;突發(fā)危機事件本體知識庫構建方法研究[J];圖書館學研究;2012年04期

10 李文澤;徐彬;;OWL-QL在領域本體知識庫的查詢研究[J];光盤技術;2007年02期

相關會議論文 前4條

1 馮淑芳;王素格;;面向觀點挖掘的汽車本體知識庫的構建[A];第六屆全國信息檢索學術會議論文集[C];2010年

2 王志;夏士雄;牛強;;本體知識庫的自然語言查詢重寫研究[A];2009年全國開放式分布與并行計算機學術會議論文集(上冊)[C];2009年

3 劉亞軍;翟林;;本體知識庫中概念間關系的自動獲取方法研究[A];第二十二屆中國數據庫學術會議論文集（技術報告篇）[C];2005年

4 陳松航;朱鳳華;呂宜生;查磊;;面向人工交通系統(tǒng)的本體知識庫構建與應用[A];第六屆（2011）中國管理學年會——系統(tǒng)管理與復雜性科學分會場論文集[C];2011年

相關博士學位論文 前2條

1 饒國政;基于語義WIKI的本體知識庫研究[D];天津大學;2009年

2 田俊華;基于本體知識庫的教學資源自動采集技術研究[D];南京師范大學;2011年

相關碩士學位論文 前10條

1 李嘉銳;本體知識庫構建研究[D];中國農業(yè)科學院;2015年

2 王庚;基于本體知識庫的文物素材智能檢索系統(tǒng)的設計和實現[D];浙江大學;2016年

3 熊淼;本體知識庫的自然語言查詢接口研究[D];上海交通大學;2007年

4 杜晶;本體知識庫的完全化過程研究[D];北京交通大學;2010年

5 馮淑芳;面向觀點挖掘的汽車本體知識庫建立研究[D];山西大學;2011年

6 尹景磊;本體知識庫的循環(huán)不動點語義研究[D];北京交通大學;2010年

7 王宇星;基于《中國分類主題詞表》的旅游本體知識庫研究與實現[D];電子科技大學;2012年

8 龔華明;旅游本體知識庫的構建及推理應用研究[D];昆明理工大學;2009年

9 曹智;面向E-Learning的本體知識庫信息處理機制的研究[D];湖南大學;2006年

10 辛躍;基于本體知識庫的貴州電網應急調度指揮平臺決策支持系統(tǒng)研究[D];北京交通大學;2013年

，

本文編號：2356810