1、本體——共享概念模型的明確的形式化的規(guī)范說明，自提出以來，在知識(shí)工程、信息檢索、語義Web等多個(gè)領(lǐng)域都得到了較為廣泛的應(yīng)用。本體建模是本體研究的基礎(chǔ)性熱點(diǎn)工作，其中涉及到大量領(lǐng)域知識(shí)的形式化表達(dá)，這些領(lǐng)域知識(shí)中普遍存在著不確定性。因此，為了在本體建模中能夠形式化的表達(dá)不確定性知識(shí)，針對(duì)如何將不確定性知識(shí)和本體有效結(jié)合，以構(gòu)建更加客觀的云本體的研究就顯得十分的必要。
　　本研究針對(duì)農(nóng)業(yè)領(lǐng)域云本體建模中不確定性知識(shí)的表達(dá)和推理問題，重

2、點(diǎn)解決農(nóng)業(yè)領(lǐng)域云本體生成的三個(gè)關(guān)鍵問題——農(nóng)業(yè)領(lǐng)域云本體的形式化問題，農(nóng)業(yè)領(lǐng)域云本體的邏輯檢測(cè)問題，農(nóng)業(yè)領(lǐng)域云本體的圖形化問題，提出了農(nóng)業(yè)領(lǐng)域云本體生成的理論與方法，開發(fā)了農(nóng)業(yè)領(lǐng)域云本體生成原型系統(tǒng)。
　　論文主要的研究內(nèi)容和取得的研究成果如下:
　　①研究了農(nóng)業(yè)領(lǐng)域云本體的形式化方法。通過基于云模型擴(kuò)展的描述邏輯C-SHOIN(D)，以及基于C-SHOIN(D)的云本體語言Cloud-OWL，實(shí)現(xiàn)云本體知識(shí)的形式化表達(dá)，并

3、使用茶園氣象云本體實(shí)例進(jìn)行測(cè)試驗(yàn)證。
　?、谔接懥宿r(nóng)業(yè)領(lǐng)域云本體的邏輯檢測(cè)方法和圖形化算法。通過優(yōu)化的Tableau算法和擴(kuò)展的C-SHOIN(D)推理規(guī)則，實(shí)現(xiàn)農(nóng)業(yè)領(lǐng)域云本體的邏輯檢測(cè)，并且討論了農(nóng)業(yè)領(lǐng)域云本體邏輯檢測(cè)算法模塊的功能和步驟流程。最后給出了農(nóng)業(yè)領(lǐng)域云本體圖形化的算法步驟。
　?、坶_發(fā)了農(nóng)業(yè)領(lǐng)域云本體生成的原型系統(tǒng)。研究在Eclipse平臺(tái)環(huán)境下，采用Java語言，開發(fā)一個(gè)農(nóng)業(yè)領(lǐng)域云本體生成原型系統(tǒng)，實(shí)現(xiàn)云本體