農(nóng)業(yè)領(lǐng)域云本體生成方法研究.pdf

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

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

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