[HEUT硕士学位论文中期报告.docVIP

硕士学位论文中期报告 粗逻辑在本体语义知识推理体系中的 应用研究 王坚 学 号： 2009100113 学科专业： 应用数学 研究方向： 信息处理数学模型及应用 指导教师： 阎红灿 教授 理学院 年 月 日  Research on Application of Rough Logic in Ontology Semantic Knowledge Reasoning Candidate: Wang Jian Supervisor: Proj. Yan Hongcan Major: Applied Mathematics School of College of science Hebei Polytechnic University 46 West Xinhua Road, Tangshan 063009，P.R.CHINA 河北理工大学硕士研究生论文阶段中期考核情况表 学生 姓名 导师 姓名 时间 地点 论文题目： 考核小组成员： 论文进展情况： 导师对学生政治思想、身体健康状况以及业务能力的评价 导师签字： 考核小组意见（是否适合继续培养）： 考核小组组长签字： 备注： 河北理工大学硕士研究生中期考核的要求 根据《河北理工大学授予硕士学位工作条例》和《河北理工大学攻读硕士学位培养工作规定》，我校硕士研究生中期考核的有关事项如下： 1. 硕士生以书面（8000-10000字）和讲述方式，对其论文作中期进展报告。中期进展报告应说明课题的理论分析、实验方法、数据、设计方案、初步结论、遇到的问题及进一步工作计划。 2. 中期进展报告考核小组至少由5名具有副教授以上职称或博士学位获得者组成，对此报告进行考核，就课题的理论分析、实验方法、数据、结果的可靠性、设计方案的可行性及初步结论的正确性等进行评审，对存在的问题和进一步的研究方向提出指导性建议。考核结束后，考核小组要形成决议并填写《河北理工大学硕士研究生论文阶段中期考核情况表》。 3. 考核结果符合继续攻读硕士学位条件者，可继续硕士学位论文工作；不符合继续攻读硕士学位条件者，限期改正或终止学习按肄业处理。 4. 研究生及其导师必须参加中期考核，如因个人或学院有特殊情况，无法在规定时间内完成，应提前出具证明材料，经研究生学院审核通过后可择期另行。 5. 若中期报告中题目与选题报告不一致（即论文题目、内容有所变动），须在《中期考核情况表》的备注中加以说明。 6. 论文中期考核报告按照“模板”结构编写，模板和考核表文件在研究生学院网站下载，考核结束后，研究生将修改后的中期报告（正文部分正反面打印）打印、上交研究生学院培养办备案。  目　　次 引　　言 1 1 理论分析 2 1.1 本体的概述 2 1.1.1 语义网简介 2 1.1.2 本体的基本概念 3 1.1.3 本体的分类 3 1.2 本体的构建 4 1.2.1 本体构建的现状 4 1.2.2 本体构建基本原则 5 2 研究方案 8 2.1 研究目标 8 2.2 研究内容 8 2.3 关键问题 8 2.4 目标创新点 8 3 课题进展 9 3.1 形式概念分析 9 3.2 从形式概念到OWL本体 10 3.2.1 OWL简介 10 3.3.2 形式概念与OWL DL的结合 11 3.3.3 概念相似度的计算 13 3.4 实验仿真 15 4 课题存在的问题及解决办法 19 4.1 课题存在问题 19 5 今后工作计划 20 参考文献 21 引　　言 语义网（Semantic Web）的提出是为了解决当前互联网中存在信息结构混乱，检索手段单一的问题，而且这个问题随着信息爆炸越发显得突出。语义网的本质是通过一定的技术手段式计算机能够理解自然语言所包含的语义，并且能够通过语义使互联网中的信息组成一个信息的网，使其能够智能化的检索，而不是在当今互联网中占主流地位的关键词匹配检索。 本体是下一代互联网——语义网的关键环节。本体一词来源于哲学范畴，但又与哲学范畴的本体有一定的区别。在计算机领域中，本体是概念化的明确的部分的说明一种逻辑语言的模型被认可的本体构建方法主要包括有骨架法、企业建模法、Methontology、KACTUS、循环获取法、IDEF-5、七步法等本体构建方法。 1 理论分析 1.1 本体的概述 1.1.1 语义网简介 语义网是由WWW的缔造者Tim Berne