基于描述逻辑的语义Web本体研究
| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 1 绪论 | 第9-16页 |
| ·选题背景及研究意义 | 第9-12页 |
| ·选题背景 | 第9-11页 |
| ·研究意义 | 第11-12页 |
| ·本文的主要工作和创新性 | 第12-14页 |
| ·论文的主要工作 | 第12-13页 |
| ·面向语义Web 领域本体的建立与形式化研究 | 第12页 |
| ·语义Web 在商务智能领域的应用 | 第12-13页 |
| ·本体的不一致性研究 | 第13页 |
| ·论文创新性 | 第13-14页 |
| ·论文组织 | 第14-16页 |
| 2 基于描述逻辑的语义Web 相关概念 | 第16-34页 |
| ·语义Web 概述 | 第16-18页 |
| ·描述逻辑概述 | 第18-21页 |
| ·描述逻辑基本描述语言 | 第21-24页 |
| ·AL 语言的基本描述 | 第21-23页 |
| ·AL 语言族系 | 第23-24页 |
| ·ALC 的语法和语义表示 | 第24页 |
| ·本体 | 第24-30页 |
| ·本体定义 | 第24-28页 |
| ·本体分类 | 第28-30页 |
| ·本体语言 | 第30-33页 |
| ·本体语言介绍 | 第30页 |
| ·OWL | 第30-33页 |
| ·本章小结 | 第33-34页 |
| 3. 面向语义Web 领域本体的建立与形式化研究 | 第34-42页 |
| ·领域本体的组成 | 第34页 |
| ·构建本体实例 | 第34-38页 |
| ·类 | 第34-35页 |
| ·槽 | 第35-36页 |
| ·类的描述举例 | 第36-37页 |
| ·领域本体的类层次 | 第37-38页 |
| ·领域本体的形式化分析 | 第38-41页 |
| ·OWL DL 与描述逻辑的对应关系 | 第38-39页 |
| ·OWL DL 本体分析 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 4. 语义Web 在商务智能领域应用 | 第42-50页 |
| ·商务智能和知识管理简介 | 第42-44页 |
| ·商业智能简介 | 第42-43页 |
| ·知识管理简介 | 第43-44页 |
| ·Web 商务智能语义平台 | 第44-46页 |
| ·Web 商务智能语义平台的提出 | 第44-45页 |
| ·Web 商务智能语义平台功能模块分析 | 第45-46页 |
| ·相应问题提出 | 第46页 |
| ·时序知识模型提出 | 第46-49页 |
| ·本体演化过程及其表示 | 第46-48页 |
| ·动态知识表示模型的表示 | 第48页 |
| ·相应的时间公理的提出 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 5. 语义Web 本体的不一致性研究 | 第50-57页 |
| ·引起不一致的原因 | 第50-51页 |
| ·导致本体演化的原因 | 第50页 |
| ·本体演化 | 第50-51页 |
| ·一致性的检测与保持 | 第51-52页 |
| ·语义一致性检测 | 第51-52页 |
| ·本体一致性的保持 | 第52页 |
| ·本体不一致测量 | 第52-55页 |
| ·不一致性测量问题的提出 | 第52-53页 |
| ·问题定义 | 第53-54页 |
| ·具体计算 | 第54-55页 |
| ·Shapley 值计算的优化 | 第55-56页 |
| ·基于公理之间结构相关性的优化 | 第55页 |
| ·基于最小不一致集(MIS)的优化 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 6. 总结和展望 | 第57-60页 |
| ·研究总结 | 第57-58页 |
| ·研究展望 | 第58-60页 |
| 7. 参考文献 | 第60-67页 |
| 攻读学位期间发表学术论文目录 | 第67-68页 |
| 致谢 | 第68-69页 |
