农业领域云本体生成方法分析研究.pdfVIP

摘要 本体——共享概念模型的明确的形式化的规范说明，自提出以来，在知识工 程、信息检索、语义Web等多个领域都得到了较为广泛的应用。本体建模是本 体研究的基础性热点工作，其中涉及到大量领域知识的形式化表达，这些领域知 识中普遍存在着不确定性。因此，为了在本体建模中能够形式化的表达不确定性 知识，针对如何将不确定性知识和本体有效结合，以构建更加客观的云本体的研 究就显得十分的必要。 本研究针对农业领域云本体建模中不确定性知识的表达和推理问题，重点解 决农业领域云本体生成的三个关键问题——农业领域云本体的形式化问题，农业 领域云本体的逻辑检测问题，农业领域云本体的图形化问题，提出了农业领域云 本体生成的理论与方法，开发了农业领域云本体生成原型系统。 论文主要的研究内容和取得的研究成果如下： ①研究了农业领域云本体的形式化方法。通过基于云模型扩展的描述逻辑 识的形式化表达，并使用茶园气象云本体实例进行测试验证。 ②探讨了农业领域云本体的逻辑检测方法和图形化算法。通过优化的 Tableau算法和扩展的C．SHOIN(D)推理规则，实现农业领域云本体的逻辑检测， 并且讨论了农业领域云本体逻辑检测算法模块的功能和步骤流程。最后给出了农 业领域云本体图形化的算法步骤。 ③开发了农业领域云本体生成的原型系统。研究在Eclipse平台环境下，采 用Java语言，开发一个农业领域云本体生成原型系统，实现云本体的逻辑检测 和图形化功能，并用实例测试验证了文中所提理论与方法的可行性和正确性。 论文研究成果对于农业领域云本体生成理论与方法的深入研究，构建更加客 观、更加精确的农业领域云本体，进一步建立基于云本体的农业知识服务，实现 农业领域不确定性知识的高效复用和有效管理，具有一定的研究价值和实际意义。 关键词：农业本体，云模型，云本体生成，形式化，逻辑检测 万方数据 Abstract Asan formalandstandard ofashared model， explicit specificationconceptual hasbeen usedin weband knowledgeengineering，semantic omology extensively isthe forthe of informationretrieve foundationstudy fields．Ontologymodeling natural involvesthe ofdomain derivesfrom ontology．It processing knowledge，which andwithmuch areasonableand language uncertainty．Therefore，tobulding objective cloud is to onthe andmethodofthe ontology,itverynecessarystudy theory combinationof and uncertaintyknowledgeo