农业领域本体作为一种在语义层面上描述与农业相关的知识体系及共享模型,可以为农业提供语义检索、智能诊断、管理决策、预测预警等本体知识协同服务。农业领域本体建模涉及农业知识的语义表示,由于农业领域存在着广泛的不确定性知识,而现有的本体表示方法只能表示确定性知识,无法将不确定性知识准确描述。因此,有必要针对本体如何能有效描述农业的不确定性知识开展研究,从而构建更为客观的农业领域本体。本研究针对目前缺乏系统有效的农业领域知识本体不确定性的表示和推理问题,以黄山地区茶园气象知识为对象,重点研究农业领域云本体表示的三个关键问题——基于描述逻辑的农业云本体表示问题、农业云本体形式化问题、农业云本体逻辑检测问题,提出了基于描述逻辑的农业云本体知识表示的理论和方法,并开发出农业云本体推理系统进行有效性验证。论文研究的主要内容及结果如下:(1)研究了基于描述逻辑的农业云本体表示方法。该方法主要通过将描述逻辑语言SHIQ与云模型结合,对SHIQ语言进行云扩展,将农业领域不确定性概念以及关系进行描述逻辑形式表示,并对提出的公理进行解释说明。(2)提出了农业云本体形式化的表示方法。该方法是以OWL语言为基础,通过引入云模型理论对农业云本体进行形式化的定义,在不改变OWL语言原有形式的基础上增加了对不确定性概念以及关系的形式化描述。(3)给出了农业云本体推理检测方法。该方法主要是通过扩展Tableau算法与云模型推理算法结合,对农业云本体进行逻辑检测推理,从而保证农业云本体表示的正确性。(4)设计了农业云本体推理检测原型系统。基于以上的理论与方法,在Eclipse开发环境下设计实现了农业云本体的推理检测功能,并以黄山地区茶园气象知识为例进行验证。论文的研究成果对解决农业领域不确定性知识的表示问题,构建农业领域云本体奠定了一定的理论与方法基础,对农业知识共享与服务具有实际意义。