發(fā)布時(shí)間：2018-11-25 16:54

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

【相似文獻(xiàn)】

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

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

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

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

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

5 王志;夏士雄;牛強(qiáng);;本體知識(shí)庫(kù)的自然語(yǔ)言查詢重寫研究[J];微電子學(xué)與計(jì)算機(jī);2009年08期

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

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

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

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

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

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

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

2 王志;夏士雄;牛強(qiáng);;本體知識(shí)庫(kù)的自然語(yǔ)言查詢重寫研究[A];2009年全國(guó)開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(上冊(cè))[C];2009年

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

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

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

1 饒國(guó)政;基于語(yǔ)義WIKI的本體知識(shí)庫(kù)研究[D];天津大學(xué);2009年

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

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

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

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

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

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

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

6 尹景磊;本體知識(shí)庫(kù)的循環(huán)不動(dòng)點(diǎn)語(yǔ)義研究[D];北京交通大學(xué);2010年

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

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

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

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

，

本文編號(hào)：2356810