1、農(nóng)業(yè)領(lǐng)域本體作為一種在語(yǔ)義層面上描述與農(nóng)業(yè)相關(guān)的知識(shí)體系及共享模型，可以為農(nóng)業(yè)提供語(yǔ)義檢索、智能診斷、管理決策、預(yù)測(cè)預(yù)警等本體知識(shí)協(xié)同服務(wù)。農(nóng)業(yè)領(lǐng)域本體建模涉及農(nóng)業(yè)知識(shí)的語(yǔ)義表示，由于農(nóng)業(yè)領(lǐng)域存在著廣泛的不確定性知識(shí)，而現(xiàn)有的本體表示方法只能表示確定性知識(shí)，無(wú)法將不確定性知識(shí)準(zhǔn)確描述。因此，有必要針對(duì)本體如何能有效描述農(nóng)業(yè)的不確定性知識(shí)開(kāi)展研究，從而構(gòu)建更為客觀的農(nóng)業(yè)領(lǐng)域本體。
　　本研究針對(duì)目前缺乏系統(tǒng)有效的農(nóng)業(yè)領(lǐng)域知識(shí)本體不確

2、定性的表示和推理問(wèn)題，以黃山地區(qū)茶園氣象知識(shí)為對(duì)象，重點(diǎn)研究農(nóng)業(yè)領(lǐng)域云本體表示的三個(gè)關(guān)鍵問(wèn)題——基于描述邏輯的農(nóng)業(yè)云本體表示問(wèn)題、農(nóng)業(yè)云本體形式化問(wèn)題、農(nóng)業(yè)云本體邏輯檢測(cè)問(wèn)題，提出了基于描述邏輯的農(nóng)業(yè)云本體知識(shí)表示的理論和方法，并開(kāi)發(fā)出農(nóng)業(yè)云本體推理系統(tǒng)進(jìn)行有效性驗(yàn)證。
　　論文研究的主要內(nèi)容及結(jié)果如下:
　　①研究了基于描述邏輯的農(nóng)業(yè)云本體表示方法。該方法主要通過(guò)將描述邏輯語(yǔ)言SHIQ與云模型結(jié)合，對(duì)SHIQ語(yǔ)言進(jìn)行云擴(kuò)展

3、，將農(nóng)業(yè)領(lǐng)域不確定性概念以及關(guān)系進(jìn)行描述邏輯形式表示，并對(duì)提出的公理進(jìn)行解釋說(shuō)明。
　?、谔岢隽宿r(nóng)業(yè)云本體形式化的表示方法。該方法是以O(shè)WL語(yǔ)言為基礎(chǔ)，通過(guò)引入云模型理論對(duì)農(nóng)業(yè)云本體進(jìn)行形式化的定義，在不改變OWL語(yǔ)言原有形式的基礎(chǔ)上增加了對(duì)不確定性概念以及關(guān)系的形式化描述。
　?、劢o出了農(nóng)業(yè)云本體推理檢測(cè)方法。該方法主要是通過(guò)擴(kuò)展Tableau算法與云模型推理算法結(jié)合，對(duì)農(nóng)業(yè)云本體進(jìn)行邏輯檢測(cè)推理，從而保證農(nóng)業(yè)云本體表示的