摘要 7-9 ABSTRACT 9-11 目录 13-17 第一章 绪论 17-24 1.1 探讨背景和意义 17-20 1.1.1 解题措施所属领域 17 1.1.2 解题措施资源探讨近况缺陷 17-19 1.1.3 语义 Web与本体论的引进 19 1.1.4 解题措施语义化档案系统的提出 19-20 1.2 探讨问题及技术路线 20-22 1.2.1 语义化解题措施的模型 20-21 1.2.2 语义化解题措施的形式概念格 21 1.2.3 语义化解题措施的概念相似度 21 1.2.4 解题措施语义化档案系统的运用 21-22 1.3 论文主要工作 22-23 1.4 与其他相关课题描述 23 1.5 论文组织结构 23-24 第二章 相关理论技术 24-33 2.1 OWL语言与本体建模 24-27 2.1.1 OWL本体模型的元模型 25-27 2.1.2 OWL本体模型的实例模型 27 2.2 形式概念略论 27-29 2.3 语义距离与语义相似度 29-30 2.4 网络流最小费用最大流 30-32 2.4.1 网络流相关概念 30-31 2.4.2 求解原理 31-32 2.5 本章小结 32-33 第三章 解题措施语义化 33-47 3.1 解题措施语义化的概念 33-36 3.1.1 解题措施语义化的目的 33-34 3.1.2 解题措施语义化的原理 34-36 3.2 解题措施语义化的本体模型 36-43 3.2.1 输入措施模型 37-38 3.2.2 输出措施模型 38-39 3.2.3 算法处理模型 39-41 3.2.4 初始化处理模型 41-42 3.2.5 数据结构模型 42-43 3.3 解题措施提取原理 43-46 3.3.1 解题记录模型 43-45 3.3.2 提取解题措施的两种措施 45-46 3.4 本章小结 46-47 第四章 解题措施的联系与运用 47-56 4.1 解题措施的联系 47 4.2 解题措施形式概念格 47-51 4.2.1 解题措施形式背景 47-49 4.2.2 构造概念格算法 49 4.2.3 构造概念格算法举例 49-51 4.3 解题措施相似度的计算 51-55 4.3.1 属性距离与相似度的计算 51-52 4.3.2 解题措施相似距离与相似度算法 52-53 4.3.3 解题措施相似度举例 53-55 4.4 本章小结 55-56 第五章 解题措施语义化档案系统 56-67 5.1 解题措施档案系统基本构架 56 5.2 解题措施语义化档案实例运用系统 56-62 5.2.1 形式背景样例 57-58 5.2.2 分类运用与举例 58-59 5.2.3 推荐运用与举例 59-61 5.2.4 样例出题 61-62 5.3 使用软件及技术 62-66 5.3.1 Protégé 62-63 5.3.2 Redland RDF Application Framework 63 5.3.3 Net/C 63 5.3.4 解题措施模型的建立 63-66 5.4 本章小结 66-67 第六章 结束语 67-69 6.1 探讨工作的总结 67 6.2 探讨工作的创新之处 67-68 6.3 探讨工作的未来展望 68-69 参考文献 69-72 附录1 网络流最小费用最大流算法代码 72-75 攻读学位期间的探讨成果目录 75-76 致谢 76 |
