【摘要】：本體檢錯推理在本體形式化漢語言的描述邏輯基礎(chǔ)上,運用Tableau算法對本體的概念層次,聲明的實例以及實例間復(fù)雜的語義關(guān)系進行檢測,以保證本體庫結(jié)構(gòu)的邏輯一致性和知識描述的正確性。以國共合作領(lǐng)域本體庫為例,探討了本體檢錯推理的邏輯基礎(chǔ)及Tableau算法的原理,分析本體檢錯推理的內(nèi)容,并采用描述邏輯推理接口協(xié)議DIG集成描述邏輯推理引擎Racer實現(xiàn)了國共合作領(lǐng)域本體檢錯推理。
[Abstract]:On the basis of description logic of ontology formal Chinese language ontology error detection reasoning uses Tableau algorithm to detect ontology concept hierarchy declared examples and complex semantic relations between instances. In order to ensure the logical consistency of ontology library structure and the correctness of knowledge description. Taking the ontology library in the field of cooperation between the Kuomintang and Communist Party as an example, this paper discusses the logical basis of ontology error detection reasoning and the principle of Tableau algorithm, and analyzes the content of ontology error detection reasoning. The DIG integrated description logic inference engine Racer is used to realize the ontology error detection reasoning in the field of KMT cooperation.
【作者單位】：
【基金】：國家自然科學(xué)基金(批準(zhǔn)號70373047) 教育部基地重大課題(批準(zhǔn)號05JJD870004)研究成果之一 中南財經(jīng)政法大學(xué)博士引進科研啟動基金資助
【分類號】：B812

【參考文獻】

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

1 文斌;基于描述邏輯的語義Web知識推理研究[D];云南師范大學(xué);2005年

【共引文獻】

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

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

2 蔡鳳真;漢語通用數(shù)據(jù)庫接口的研究與實現(xiàn)[D];中國石油大學(xué);2007年

3 馬雪;基于本體的隱性知識管理系統(tǒng)研究[D];西北大學(xué);2008年

【二級參考文獻】

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

1 史忠植,蔣運承,張海俊,董明楷;基于描述邏輯的主體服務(wù)匹配[J];計算機學(xué)報;2004年05期

2 袁梅宇;本體在信息交換中的建模方法[J];計算機應(yīng)用研究;2004年02期

3 李浩,沈琦;Semantic Web與Agent的共生及融合[J];微機發(fā)展;2003年11期

【相似文獻】

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

1 D.索博維拉;宇杰;;哲學(xué)與社會科學(xué)[J];世界哲學(xué);1989年03期

2 張一兵;科學(xué)地理解人在社會歷史發(fā)展中的主體地位[J];哲學(xué)動態(tài);1994年07期

3 敬文東;迫不得已的文學(xué)史[J];讀書;1998年09期

4 陳久和;遙感圖像在師范地理教學(xué)中的應(yīng)用研究[J];德州學(xué)院學(xué)報;2001年04期

5 李培,賀嬌;OIL:構(gòu)建語義網(wǎng)絡(luò)的一種基礎(chǔ)本體語言[J];情報科學(xué);2004年10期

6 丘威;張立臣;;本體語言研究綜述[J];情報雜志;2006年07期

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

1 何召衛(wèi);陳俊亮;;本體相似研究綜述[A];2005通信理論與技術(shù)新進展——第十屆全國青年通信學(xué)術(shù)會議論文集[C];2005年

2 李勇;蘇森;楊放春;;一種基于本體的Parlay業(yè)務(wù)能力自動發(fā)現(xiàn)機制[A];中國通信學(xué)會信息通信網(wǎng)絡(luò)技術(shù)委員會2005年年會論文集[C];2005年

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

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

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

6 吳偉蔚;陳力華;徐兆坤;劉長虹;;基于語義Web的交通信息系統(tǒng)[A];2007年中國智能自動化會議論文集[C];2007年

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

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

2 王真星;基于本體的計算機支持協(xié)同學(xué)習(xí)關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2003年

3 胡鶴;本體方法及其時空推理應(yīng)用研究[D];吉林大學(xué);2004年

4 陳華鈞;Web語義查詢與推理研究[D];浙江大學(xué);2004年

5 景東升;基于本體的地理空間信息語義表達和服務(wù)研究[D];中國科學(xué)院研究生院（遙感應(yīng)用研究所）;2005年

6 馬峻;產(chǎn)品協(xié)同設(shè)計過程中關(guān)鍵技術(shù)的研究與實現(xiàn)[D];西安理工大學(xué);2005年

7 付相君;基于本體和Semantic Web技術(shù)的產(chǎn)品知識集成基礎(chǔ)研究[D];浙江大學(xué);2005年

8 于海波;基于規(guī)則和本體的應(yīng)用安全策略研究[D];吉林大學(xué);2006年

9 林松濤;模塊化本體建設(shè)研究[D];北京郵電大學(xué);2006年

10 韓永國;知識網(wǎng)格及其教育應(yīng)用的關(guān)鍵技術(shù)研究[D];電子科技大學(xué);2006年

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

1 夏俊;語義Web中基于本體知識庫系統(tǒng)的自動推理研究[D];合肥工業(yè)大學(xué);2004年

2 甘健侯;基于本體的語義Web知識發(fā)現(xiàn)及其應(yīng)用的研究[D];云南師范大學(xué);2004年

3 王樂;基于本體的服裝企業(yè)信息交互的研究[D];東華大學(xué);2005年

4 楊麗波;語義Web服務(wù)執(zhí)行引擎設(shè)計[D];吉林大學(xué);2005年

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

6 王鵬超;基于規(guī)劃的語義Web服務(wù)組合[D];吉林大學(xué);2005年

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

8 文斌;基于描述邏輯的語義Web知識推理研究[D];云南師范大學(xué);2005年

9 李慧;語義Web服務(wù)發(fā)現(xiàn)機制的研究[D];江蘇大學(xué);2005年

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

，

本文編號：2364112