本文關(guān)鍵詞：基于保守?cái)U(kuò)充理論的模塊化本體重用

  更多相關(guān)文章： 本體重用 保守?cái)U(kuò)充 模塊化 ε-Connections理論

【摘要】：分析了本體重用的研究現(xiàn)狀和目前重用方法只適用于單個(gè)獨(dú)立本體的不足,以ε-Connections語(yǔ)言構(gòu)建的模塊化本體庫(kù)為研究對(duì)象,基于保守?cái)U(kuò)充理論提出了本體模塊知識(shí)完整性概念,并證明了知識(shí)完整性的相關(guān)性質(zhì).在此基礎(chǔ)上,給出了一種針對(duì)模塊化本體庫(kù)的保守?cái)U(kuò)充重用算法ERMMO(extracting reused modules from modular ontologies),討論了該算法的兩種子算法EMMO_(IK)和EMO_(IK)的特點(diǎn)及適用條件.分析并驗(yàn)證了ERMMO算法的可行性和正確性.ERMMO算法是當(dāng)前保守?cái)U(kuò)充重用算法的一般化擴(kuò)充,對(duì)模塊化思想應(yīng)用于本體重用問(wèn)題有所啟示.
【作者單位】： 華南師范大學(xué)計(jì)算機(jī)學(xué)院;鄭州輕工業(yè)學(xué)院軟件學(xué)院;廣西師范大學(xué)計(jì)算機(jī)科學(xué)與信息工程學(xué)院;
【關(guān)鍵詞】： 本體重用 保守?cái)U(kuò)充 模塊化 ε-Connections理論
【基金】：國(guó)家自然科學(xué)基金(61272066) 教育部新世紀(jì)優(yōu)秀人才支持計(jì)劃(NCET-12-0644) 廣州市科技計(jì)劃(2014J4100031,201604010098) 廣西可信軟件重點(diǎn)實(shí)驗(yàn)室(桂林電子科技大學(xué))研究課題(KX201419)~~
【分類(lèi)號(hào)】：TP391.1
【正文快照】： org.cn/1000-9825/4920.htm英文引用格式:Li P,Jiang YC,Wang J.Modular ontology reuse based on conservative extension theory.Ruan Jian Xue Bao/Journal of Software,2016,27(11):2777?2795(in Chinese).http://www.jos.org.cn/1000-9825/4920.htmModular Ontology Reus

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 劉柏嵩;高濟(jì);;本體演化管理研究[J];計(jì)算機(jī)科學(xué);2004年05期

2 周明建,高濟(jì);本體表示語(yǔ)言的研究及應(yīng)用[J];計(jì)算機(jī)工程;2005年01期

3 張子振;王存剛;;本體進(jìn)化關(guān)鍵技術(shù)研究[J];科技信息(學(xué)術(shù)研究);2008年08期

4 陳芨熙;顧新建;陳國(guó)海;魏江;;基于本體的專(zhuān)利檢索技術(shù)[J];浙江大學(xué)學(xué)報(bào)(工學(xué)版);2009年12期

5 邵曉青;鄔家煒;;基于分層模糊評(píng)價(jià)法的本體評(píng)價(jià)[J];計(jì)算機(jī)與現(xiàn)代化;2011年06期

6 李曉輝;;本體模式研究綜述[J];圖書(shū)與情報(bào);2013年01期

7 李小斌;;基于多用戶表決的本體自適應(yīng)演化[J];福建電腦;2007年02期

8 潘國(guó)清;;淺析本體開(kāi)發(fā)方法[J];湖南工業(yè)職業(yè)技術(shù)學(xué)院學(xué)報(bào);2012年01期

9 宋文;張劍;邵燕;;頂層本體研究[J];圖書(shū)館理論與實(shí)踐;2006年01期

10 黃藍(lán)會(huì);;本體框架的研究[J];信息技術(shù);2011年05期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前2條

1 陳明;薛萬(wàn)奉;印潤(rùn)遠(yuǎn);;本體工程及其應(yīng)用[A];第十八屆全國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2001年

2 繆嘉嘉;李?lèi)?ài)平;劉志忠;吳泉源;賈焰;;一種面向語(yǔ)義信息集成的本體擴(kuò)展方法[A];第二十二屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2005年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前1條

1 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 彭暉邋史忠植;語(yǔ)義Web:讓計(jì)算機(jī)讀懂互聯(lián)網(wǎng)[N];計(jì)算機(jī)世界;2007年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前4條

1 宋英杰;開(kāi)放環(huán)境下本體演化語(yǔ)義沖突的檢測(cè)與診斷研究[D];大連海事大學(xué);2013年

2 王宇華;基于本體的流程類(lèi)業(yè)務(wù)需求建模方法研究[D];哈爾濱工程大學(xué);2011年

3 張凱;基于本體的Web信息集成若干關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2004年

4 朱鄭州;基于本體的學(xué)習(xí)服務(wù)發(fā)現(xiàn)算法研究[D];重慶大學(xué);2008年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 肖鵬;穩(wěn)定模型語(yǔ)義下不一致本體規(guī)則修復(fù)及回答查詢的研究[D];中山大學(xué);2015年

2 劉樹(shù)鵬;基于概念格的本體合并方法與技術(shù)的研究[D];大連海事大學(xué);2010年

3 李渝;本體查詢及自動(dòng)完善系統(tǒng)研究[D];重慶大學(xué);2010年

4 肖敏;基于本體推理的健康監(jiān)測(cè)平臺(tái)的研究與實(shí)現(xiàn)[D];吉林大學(xué);2013年

5 魏哲雄;本體整合方法研究及系統(tǒng)實(shí)現(xiàn)[D];天津大學(xué);2007年

6 張海霞;CBR與本體在案例知識(shí)管理中的應(yīng)用研究[D];西北大學(xué);2006年

7 張春節(jié);基于規(guī)則的隱私本體推理研究[D];云南大學(xué);2011年

8 李嘉麗;基于UML的本體表示方法研究[D];哈爾濱工程大學(xué);2009年

9 章俐;基于GO的棉花生物信息本體半自動(dòng)構(gòu)建的研究與實(shí)現(xiàn)[D];南京農(nóng)業(yè)大學(xué);2010年

10 王會(huì)芹;基于本體的云服務(wù)發(fā)現(xiàn)關(guān)鍵技術(shù)研究與實(shí)現(xiàn)[D];河北師范大學(xué);2012年

，

本文編號(hào)：832879