| 0 前言 | 第1-9页 |
| 1 概述 | 第9-15页 |
| ·语义WEB的提出背景及简单架构 | 第9-10页 |
| ·语义WEB的研究进展 | 第10-12页 |
| ·语义WEB与网格计算、WEB服务以及P2P的融合 | 第12-13页 |
| ·论文的主要工作及章节安排 | 第13-15页 |
| 2 语义WEB的技术基础 | 第15-35页 |
| ·XML技术 | 第15页 |
| ·RDF与RDFS | 第15-23页 |
| ·WEB的元信息处理技术 | 第15-16页 |
| ·RDF数据模型RDFMS | 第16-20页 |
| ·RDFMS简介 | 第16-17页 |
| ·RDFMS的概念和模型 | 第17-18页 |
| ·RDFMS的形式化定义 | 第18-19页 |
| ·RDFMS的知识建模示例 | 第19-20页 |
| ·RDF模式语言RDFS | 第20-22页 |
| ·RDFS简介及RDFS的类型系统 | 第20页 |
| ·RDFS的主要原语 | 第20-22页 |
| ·用RDFS的原语扩展定义RDF模式 | 第22页 |
| ·RDF的特点 | 第22-23页 |
| ·ONTOLOGY | 第23-28页 |
| ·什么是ONTOLOGY | 第23-24页 |
| ·ONTOLOGY的建模元语 | 第24-25页 |
| ·ONTOLOGY的分类 | 第25-26页 |
| ·传统的ONTOLOGY语言 | 第26页 |
| ·已有的ONTOLOGY | 第26-27页 |
| ·构造ONTOLOGY的规则 | 第27页 |
| ·ONTOLOGY建模的生命周期 | 第27页 |
| ·ONTOLOGY在知识库系统中的应用 | 第27-28页 |
| ·语义WEB的分层结构 | 第28-29页 |
| ·面向语义WEB的ONTOLOGY语言OIL | 第29-35页 |
| ·OIL的分层结构和设计思想 | 第29-30页 |
| ·OIL对RDFS的扩展分析 | 第30-31页 |
| ·类和属性定义 | 第30-31页 |
| ·槽定义 | 第31页 |
| ·OIL语言的非形式化描述 | 第31-33页 |
| ·OIL的描述约定和抽象层次 | 第32页 |
| ·OIL的ONTOLOGY容器 | 第32页 |
| ·OIL的ONTOLOGY定义组成 | 第32-33页 |
| ·OIL的不足 | 第33-35页 |
| 3 逻辑公式和逻辑推理描述原语的OIL扩展定义 | 第35-45页 |
| ·命题逻辑和谓词逻辑描述原语的OIL扩展 | 第35-40页 |
| ·命题逻辑描述原语的OIL扩展 | 第35-38页 |
| ·命题逻辑描述扩展的形式化定义 | 第35-36页 |
| ·命题逻辑描述扩展的RDFS定义 | 第36-38页 |
| ·谓词逻辑描述原语的OIL扩展 | 第38-40页 |
| ·谓词逻辑公式描述的形式化定义 | 第38-40页 |
| ·谓词逻辑公式的示例 | 第40页 |
| ·关系代数公理描述的OIL扩展 | 第40-42页 |
| ·关系代数公理描述的ONTOLOGY原语定义 | 第40-41页 |
| ·关系代数公理描述与推理规则的实例 | 第41-42页 |
| ·逻辑推理描述原语的OIL扩展定义 | 第42-45页 |
| ·对RDF数据的推理查询需求 | 第42-43页 |
| ·推理查询原语的OIL扩展 | 第43-45页 |
| 4 基于语义WEB的查询推理系统 | 第45-51页 |
| ·基于框架的ONTOLOGY语言FRAME LOGIC | 第45-47页 |
| ·FL对RDF数据的推理支持 | 第47-48页 |
| ·面向ONTOLOGY／RDF数据的推理查询系统的结构 | 第48-49页 |
| ·相关工作分析 | 第49-51页 |
| 5 语义WEB在网络教学系统中的应用 | 第51-66页 |
| ·网络教学的ONTOLOGY建设 | 第51-58页 |
| ·计算机学科主题分类的元ONTOLOGY构造 | 第52-55页 |
| ·知识点划分的元ONTOLOGY构造 | 第55-56页 |
| ·试题的元ONTOLOGY构造 | 第56-57页 |
| ·其它的元ONTOLOGY | 第57页 |
| ·数据结构ONTOLOGY | 第57-58页 |
| ·教学资源到ONTOLOGY的映射 | 第58页 |
| ·查询推理系统的支持 | 第58-60页 |
| ·基于语义WEB的协作学习 | 第60-66页 |
| ·CSCL的相关研究 | 第60-61页 |
| ·CSCL中的教学理论基础 | 第61-62页 |
| ·协作学习模式 | 第62-63页 |
| ·基于语义WEB的协作学习交流模型 | 第63-65页 |
| ·CSCL的相关工作分析 | 第65-66页 |
| 6 结束语 | 第66-67页 |
| 参考文献 | 第67-69页 |
| 附录: 计算机学科主题分类ONTOLOGY的RDF表示(节选) | 第69-72页 |
| 致谢 | 第72-74页 |
