【摘要】：模塊化是軟件工程的一種方法,近年來被引入到本體領(lǐng)域,用以支持本體的重用和本體的整合。已有的工作沒有討論同時含有TBox和ABox的本體知識庫的模塊化的相關(guān)問題。在定義本體知識庫的模塊和知識庫的保守擴充的基礎(chǔ)之上,給出了知識庫保守擴充的驗證算法,并且從理論上證明可用知識庫的保守擴充的驗證算法來驗證一個知識庫是否為另外一個知識庫的模塊。
[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.
【作者單位】： 黔南民族師范學(xué)院數(shù)學(xué)與統(tǒng)計學(xué)院;桂林電子科技大學(xué)廣西可信軟件重點實驗室;廣東省委黨校信息技術(shù)教研部;
【基金】：國家自然科學(xué)基金(61463044,61363030) 貴州省科技廳項目(LH[2014]7421) 廣西自然科學(xué)基金(2015GXNSFAA139285) 廣西可信軟件重點實驗室開放課題
【分類號】：TP301.6

【相似文獻】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)會議論文 前4條

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

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

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

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

相關(guān)博士學(xué)位論文 前2條

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

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

相關(guān)碩士學(xué)位論文 前10條

1 李嘉銳;本體知識庫構(gòu)建研究[D];中國農(nóng)業(yè)科學(xué)院;2015年

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

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

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

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

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

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

8 龔華明;旅游本體知識庫的構(gòu)建及推理應(yīng)用研究[D];昆明理工大學(xué);2009年

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

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

，

本文編號：2356810