【摘要】：本體檢錯推理在本體形式化漢語言的描述邏輯基礎上,運用Tableau算法對本體的概念層次,聲明的實例以及實例間復雜的語義關系進行檢測,以保證本體庫結(jié)構(gòu)的邏輯一致性和知識描述的正確性。以國共合作領域本體庫為例,探討了本體檢錯推理的邏輯基礎及Tableau算法的原理,分析本體檢錯推理的內(nèi)容,并采用描述邏輯推理接口協(xié)議DIG集成描述邏輯推理引擎Racer實現(xiàn)了國共合作領域本體檢錯推理。
[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.
【作者單位】：
【基金】：國家自然科學基金(批準號70373047) 教育部基地重大課題(批準號05JJD870004)研究成果之一 中南財經(jīng)政法大學博士引進科研啟動基金資助
【分類號】：B812

【參考文獻】

相關碩士學位論文 前1條

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

【共引文獻】

相關碩士學位論文 前3條

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

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

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

【二級參考文獻】

相關期刊論文 前3條

1 史忠植,蔣運承,張�？�,董明楷;基于描述邏輯的主體服務匹配[J];計算機學報;2004年05期

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

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

【相似文獻】

相關期刊論文 前6條

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

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

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

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

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

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

相關會議論文 前6條

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

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

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

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

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

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

相關博士學位論文 前10條

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

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

3 胡鶴;本體方法及其時空推理應用研究[D];吉林大學;2004年

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

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

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

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

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

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

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

相關碩士學位論文 前10條

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

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

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

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

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

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

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

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

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

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

，

本文編號：2364112