基于描述邏輯的農(nóng)業(yè)云本體表示方法研究.pdf

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

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

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