农业领域云本体生成方法研究

作     者：孙靓 

作者单位：安徽农业大学 

学位级别：硕士

导师姓名：李绍稳

授予年度：2014年

学科分类：082804[工学-农业电气化与自动化] 08[工学] 0828[工学-农业工程] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：农业本体 云模型 云本体生成 形式化 逻辑检测 

摘      要：本体——共享概念模型的明确的形式化的规范说明,自提出以来,在知识工程、信息检索、语义Web等多个领域都得到了较为广泛的应用。本体建模是本体研究的基础性热点工作,其中涉及到大量领域知识的形式化表达,这些领域知识中普遍存在着不确定性。因此,为了在本体建模中能够形式化的表达不确定性知识,针对如何将不确定性知识和本体有效结合,以构建更加客观的云本体的研究就显得十分的必要。本研究针对农业领域云本体建模中不确定性知识的表达和推理问题,重点解决农业领域云本体生成的三个关键问题——农业领域云本体的形式化问题,农业领域云本体的逻辑检测问题,农业领域云本体的图形化问题,提出了农业领域云本体生成的理论与方法,开发了农业领域云本体生成原型系统。论文主要的研究内容和取得的研究成果如下：①研究了农业领域云本体的形式化方法。通过基于云模型扩展的描述逻辑C-SHOIN(D),以及基于C-SHOIN(D)的云本体语言Cloud-OWL,实现云本体知识的形式化表达,并使用茶园气象云本体实例进行测试验证。②探讨了农业领域云本体的逻辑检测方法和图形化算法。通过优化的Tableau算法和扩展的C-SHOIN(D)推理规则,实现农业领域云本体的逻辑检测,并且讨论了农业领域云本体逻辑检测算法模块的功能和步骤流程。最后给出了农业领域云本体图形化的算法步骤。③开发了农业领域云本体生成的原型系统。研究在Eclips e平台环境下,采用Java语言,开发一个农业领域云本体生成原型系统,实现云本体的逻辑检测和图形化功能,并用实例测试验证了文中所提理论与方法的可行性和正确性。论文研究成果对于农业领域云本体生成理论与方法的深入研究,构建更加客观、更加精确的农业领域云本体,进一步建立基于云本体的农业知识服务,实现农业领域不确定性知识的高效复用和有效管理,具有一定的研究价值和实际意义。