本文關(guān)鍵詞：描述邏輯FLε的合一算法，由筆耕文化傳播整理發(fā)布。

【相似文獻(xiàn)】

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

1 宋峻峰,張維明,肖衛(wèi)東,唐九陽;基于本體的信息檢索模型研究[J];南京大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期

2 甘健侯;文斌;;基于描述邏輯的概念建模研究[J];云南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年06期

3 胡鶴;杜小勇;;一種基于區(qū)間模糊理論的描述邏輯系統(tǒng)[J];華中科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年S1期

4 程欣,孫載陽,陳寶安;細(xì)胞因子FL與造血細(xì)胞的關(guān)系[J];鐵道醫(yī)學(xué);2000年03期

5 余泉;甘曉麗;王駒;;循環(huán)ALCN-Tbox的模型構(gòu)造[J];廣西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年01期

6 陳文軍;徐慧;;基于描述邏輯的語義Web服務(wù)組合的框架研究[J];科協(xié)論壇(下半月);2011年05期

7 文斌;甘健侯;夏幼明;徐天任;;擴(kuò)展描述羅輯ALC~+到謂詞邏輯的轉(zhuǎn)換研究初探[J];云南大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年S2期

8 何紅悅;宋自林;周波;;基于DL-Safe規(guī)則的UML狀態(tài)圖形式化和一致性驗(yàn)證[J];鄭州大學(xué)學(xué)報(bào)(理學(xué)版);2009年01期

9 文斌;楊志榮;陳懇;甘健侯;;簡(jiǎn)單概念圖與擴(kuò)展描述邏輯ALC+的關(guān)系探討[J];云南大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年S2期

10 王淞昕;;基于描述邏輯的圖像檢索框架[J];吉林大學(xué)學(xué)報(bào)(理學(xué)版);2010年02期

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

1 吳凌坤;湯庸;湯娜;;一種基于時(shí)態(tài)描述邏輯的工資智能決策支持系統(tǒng)的實(shí)現(xiàn)[A];第二十三屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2006年

2 曹發(fā)生;;描述邏輯系統(tǒng)UEVN中概念的包含算法[A];“回顧與前瞻：中國邏輯史研究30年”全國學(xué)術(shù)研討會(huì)論文集[C];2010年

3 王真星;呂騰;;本體的描述邏輯到框架表示的轉(zhuǎn)換[A];第二十一屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2004年

4 張楊;房斌;徐傳運(yùn);;基于本體和描述邏輯的圖像語義識(shí)別[A];全國第20屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議（CACIS·2009）暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議論文集（上冊(cè)）[C];2009年

5 文斌;甘健侯;夏幼明;徐天偉;;框架表示法到擴(kuò)展描述邏輯ALC+的轉(zhuǎn)換初探[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

6 常亮;高申;李德波;古天龍;;基于OBDD的描述邏輯ALCIO判定算法[A];廣西計(jì)算機(jī)學(xué)會(huì)2010年學(xué)術(shù)年會(huì)論文集[C];2010年

7 林培光;劉弘;樊孝忠;王濤;;一種新的語義網(wǎng)信息檢索方法(英文)[A];全國語域web與本體能研討會(huì)論文集[C];2006年

8 康達(dá)周;徐寶文;陸建江;李言輝;;支持語義web模糊本體的描述邏輯(英文)[A];全國語域web與本體能研討會(huì)論文集[C];2006年

9 葉楓;曹敬;李曉芳;;水環(huán)境特定業(yè)務(wù)的語義及其應(yīng)用研究[A];第三屆全國水力學(xué)與水利信息學(xué)大會(huì)論文集[C];2007年

10 吳善明;沈建京;;本體驅(qū)動(dòng)的分布式地理信息網(wǎng)絡(luò)服務(wù)鏈[A];2007中國控制與決策學(xué)術(shù)年會(huì)論文集[C];2007年

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

1 PALADIN;[N];電腦報(bào);2003年

2 PALADIN;[N];電腦報(bào);2003年

3 ;[N];中國電腦教育報(bào);2004年

4 記者 雷敏　張旭東　劉錚;[N];新華每日電訊;2005年

5 H Q;[N];電腦報(bào);2003年

6 記者 侯建華;[N];重慶商報(bào);2001年

7 汪蔚;[N];中國計(jì)算機(jī)報(bào);2008年

8 南京 朱罕非;[N];電子報(bào);2004年

9 胡英;[N];計(jì)算機(jī)世界;2007年

10 復(fù)旦大學(xué)國際政治系博士 沈逸;[N];東方早報(bào);2010年

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

1 王靜;基于可拓集的描述邏輯研究[D];哈爾濱工程大學(xué);2009年

2 張小旺;超協(xié)調(diào)描述邏輯[D];北京大學(xué);2011年

3 鄒婷婷;描述邏輯中若干問題的研究[D];吉林大學(xué);2013年

4 唐素勤;面向語義Web的描述邏輯本體構(gòu)建[D];中南大學(xué);2011年

5 沈國華;基于描述邏輯的語義Web服務(wù)建模及推理研究[D];南京航空航天大學(xué);2009年

6 馮莎莎;本體邏輯差的研究[D];吉林大學(xué);2011年

7 古華茂;描述邏輯概念可滿足性推理研究[D];浙江大學(xué);2009年

8 楊鵬;面向事件感知的應(yīng)急臨機(jī)決策引擎研究[D];天津大學(xué);2010年

9 方流;描述邏輯推理優(yōu)化技術(shù)研究[D];浙江大學(xué);2008年

10 賈育;基于演于構(gòu)件的軟件復(fù)用方法[D];中國科學(xué)院研究生院（軟件研究所）;2002年

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

1 劉凱;描述邏輯FLε的合一算法[D];遼寧師范大學(xué);2013年

2 朱紅梅;模型資源的語義表示和應(yīng)用研究[D];山東科技大學(xué);2005年

3 郭昊;描述邏輯在空間推理中的應(yīng)用[D];吉林大學(xué);2008年

4 任濤;基于本體和描述邏輯的Web服務(wù)查找技術(shù)研究[D];山東大學(xué);2005年

5 董小峰;面向服務(wù)的企業(yè)數(shù)據(jù)語義檢索技術(shù)研究[D];西北工業(yè)大學(xué);2006年

6 朱創(chuàng)錄;基于語義Web的自動(dòng)推理技術(shù)研究[D];西北大學(xué);2006年

7 吳昊;基于本體論的知識(shí)推理查詢系統(tǒng)的研究[D];江蘇大學(xué);2005年

8 汪洋;基于描述邏輯的推理機(jī)設(shè)計(jì)實(shí)現(xiàn)及其分布化研究[D];北京郵電大學(xué);2007年

9 張銀平;描述邏輯在構(gòu)件檢索以及Web服務(wù)組合上的應(yīng)用[D];吉林大學(xué);2008年

10 王勇紅;描述邏輯εL循環(huán)術(shù)語集的保守?cái)U(kuò)充[D];廣西師范大學(xué);2012年

  本文關(guān)鍵詞：描述邏輯FLε的合一算法，，由筆耕文化傳播整理發(fā)布。