| 摘要 | 第3-4页 |
| ABSTRACT | 第4页 |
| 致谢 | 第5-6页 |
| 关于作者 | 第6-13页 |
| 第一部分 背景与概述 | 第13-39页 |
| 第一章 绪论 | 第14-21页 |
| 1．1 背景 | 第14-18页 |
| 1．1．1 互联网的有序化 | 第14页 |
| 1．1．2 基于知识的Web资源共享 | 第14-17页 |
| 1．1．3 语义Web | 第17-18页 |
| 1．2 论文的主要内容与贡献 | 第18-19页 |
| 1．3 论文结构 | 第19-21页 |
| 第二章 WEB语义基本表达框架 | 第21-39页 |
| 2．1 Web资源表达与描述语言 | 第21页 |
| 2．2 RDF/RDFS及其设计思想 | 第21-26页 |
| 2．2．1 RDF资源表达框架 | 第21-24页 |
| 2．2．1．1 RDF陈述简介 | 第21-23页 |
| 2．2．1．2 RDF陈述的模型理论语义解释 | 第23-24页 |
| 2．2．2 RDF Schema | 第24-26页 |
| 2．2．2．1 描述类 | 第24页 |
| 2．2．2．2 描述属性 | 第24-25页 |
| 2．2．2．3 RDF Schema的模型理论语义解释 | 第25-26页 |
| 2．3 OWL及其理论基础 | 第26-35页 |
| 2．3．1 OWL概述 | 第27页 |
| 2．3．2 OWL的表达元语 | 第27-34页 |
| 2．3．2．1 OWL Lite表达元语 | 第28-33页 |
| 2．3．2．1．1 OWL Lite的RDF Schema特性 | 第28-30页 |
| 2．3．2．1．2 OWL Lite的等式和不等式 | 第30页 |
| 2．3．2．1．3 OWL Lite的属性定义扩展元语 | 第30-31页 |
| 2．3．2．1．4 OWL Lite的属性约束 | 第31-32页 |
| 2．3．2．1．5 OWL Lite的受限基数 | 第32-33页 |
| 2．3．2．1．6 OWL Lite的类交集 | 第33页 |
| 2．3．2．2 OWL DL和OWL Full的附加语言描述 | 第33-34页 |
| 2．3．3 OWL的表达理论基础——描述逻辑 | 第34-35页 |
| 2．4 Web语义表达框架的特点及比较分析 | 第35-38页 |
| 2．4．1 RDF(S)的设计特点及比较分析 | 第35-37页 |
| 2．4．1．1 RDF(S)与谓词逻辑 | 第36页 |
| 2．4．1．2 RDF(S)与关系模型 | 第36页 |
| 2．4．1．3 RDF(S)与XML | 第36-37页 |
| 2．4．1．4 RDF(S)与面向对象编程语言 | 第37页 |
| 2．4．2 OWL的设计特点与比较分析 | 第37-38页 |
| 2．4．2．1 OWL与描述逻辑 | 第38页 |
| 2．4．2．2 OWL与RDF(S)的区别 | 第38页 |
| 2．5 小节 | 第38-39页 |
| 第二部分 理论与方法 | 第39-100页 |
| 第三章 开放式知识服务体系 | 第40-48页 |
| 3．1 概述 | 第40-42页 |
| 3．1．1 知识网格的提出 | 第40-41页 |
| 3．1．2 知识网格相关工作 | 第41-42页 |
| 3．2 知识源 | 第42-45页 |
| 3．2．1 传统的知识库模型 | 第42-43页 |
| 3．2．2 知识网格知识源模型 | 第43-45页 |
| 3．2．2．1 术语定义 | 第43页 |
| 3．2．2．2 知识源概述 | 第43-44页 |
| 3．2．2．3 知识源的形式化描述 | 第44-45页 |
| 3．3． 开放式知识服务体系 | 第45-47页 |
| 3．3．1 知识服务 | 第45页 |
| 3．3．2 知识服务体系 | 第45-47页 |
| 3．4 小节 | 第47-48页 |
| 第四章 基于视图的RDF语义查询问答 | 第48-63页 |
| 4．1 问题的提出 | 第48-50页 |
| 4．1．1 传统的方法与相关工作 | 第48-50页 |
| 4．1．2 面向语义Web的查询问答与查询重写 | 第50页 |
| 4．2 RDF视图的定义与表示 | 第50-54页 |
| 4．2．1 命名约定与术语定义 | 第50-51页 |
| 4．2．2 RDF查询的表示方法 | 第51-53页 |
| 4．2．3 视图的表示方法 | 第53-54页 |
| 4．3 基于视图的RDF查询问答 | 第54-62页 |
| 4．3．1 问题的描述 | 第54-55页 |
| 4．3．2 开放世界假设与封闭世界假设 | 第55页 |
| 4．3．3 数据复杂性 | 第55-62页 |
| 4．3．3．1 可能RDF图与查询的确定答 | 第56-57页 |
| 4．3．3．2 RDF视图与不完全RDF图 | 第57-58页 |
| 4．3．3．3 RDF查询包含推理 | 第58-60页 |
| 4．3．3．4 RDF查询包含算法 | 第60-62页 |
| 4．4 小节 | 第62-63页 |
| 第五章 基于视图的RDF语义查询重写 | 第63-71页 |
| 5．1 问题的提出 | 第63页 |
| 5．2． 传统的方法与相关工作 | 第63-64页 |
| 5．3 基于视图的RDF语义查询算法 | 第64-70页 |
| 5．3．1 术语定义与约定 | 第64页 |
| 5．3．2 一个用例 | 第64-66页 |
| 5．3．3 算法思想 | 第66-68页 |
| 5．3．4 算法描述 | 第68-70页 |
| 5．4 小节 | 第70-71页 |
| 第六章 基于分布式TABLEAUX的WEB推理 | 第71-90页 |
| 6．1 上下文相关Web语义与推理 | 第71-76页 |
| 6．1．1 问题的提出 | 第71-72页 |
| 6．1．2 局部模型语义与上下文相关Web语义 | 第72-74页 |
| 6．1．3 分布式描述逻辑 | 第74-76页 |
| 6．2 分布式Tableaux算法 | 第76-89页 |
| 6．2．1 描述逻辑的Tableaux算法 | 第76-77页 |
| 6．2．2 语义映射规则桥 | 第77-78页 |
| 6．2．3 概念规则桥 | 第78-81页 |
| 6．2．3．1 概念规则桥的定义 | 第78页 |
| 6．2．3．2 概念规则桥的应用规则 | 第78-79页 |
| 6．2．3．3 应用实例 | 第79-81页 |
| 6．2．4 Role语义规则桥 | 第81-85页 |
| 6．2．4．1 Role语义规则桥的定义 | 第81-82页 |
| 6．2．4．2 Role语义规则桥的应用规则 | 第82页 |
| 6．2．4．3 应用实例 | 第82-85页 |
| 6．2．5 多源的分布式推理与K-Consistence | 第85-89页 |
| 6．3 小节 | 第89-90页 |
| 第七章 基于案例的WEB推理 | 第90-100页 |
| 7．1 Web中的CBR | 第90-92页 |
| 7．1．1 基于相似的Web查询与推理 | 第90-91页 |
| 7．1．2 CBR简述 | 第91-92页 |
| 7．2 CaseML语言 | 第92-98页 |
| 7．2．1 传统的Case表达语言 | 第92-93页 |
| 7．2．2 CaseML的基本表达元语 | 第93-95页 |
| 7．2．2．1 CaseML中的Class定义 | 第93-94页 |
| 7．2．2．2 CaseML中的Property定义 | 第94-95页 |
| 7．2．3 几个中医药实例 | 第95-98页 |
| 7．3 Web-CBR的开放式知识服务体系 | 第98-99页 |
| 7．4 小节 | 第99-100页 |
| 第三部分 原型与应用 | 第100-134页 |
| 第八章 Q3语义查询语言 | 第101-116页 |
| 8．1 概述 | 第101-103页 |
| 8．1．1 Web语义查询语言 | 第101-103页 |
| 8．2 Q3的设计 | 第103-108页 |
| 8．2．1 定义QName | 第103页 |
| 8．2．2 Q3操作元语 | 第103页 |
| 8．2．3 定义语义查询的概念模式 | 第103-104页 |
| 8．2．4 添加约束条件 | 第104-105页 |
| 8．2．4．1 等值条件 | 第104-105页 |
| 8．2．4．2 比较谓词 | 第105页 |
| 8．2．4．3 连接谓词 | 第105页 |
| 8．2．5 指定返回属性 | 第105-106页 |
| 8．2．6 一个完整的例子 | 第106-108页 |
| 8．2．7 各种查询语言的优缺点比较分析 | 第108页 |
| 8．3 Q3的高级表达能力 | 第108-111页 |
| 8．3．1 集运算查询 | 第109页 |
| 8．3．2 全称谓词 | 第109-110页 |
| 8．3．3 带基数的查询 | 第110-111页 |
| 8．3．4 枚举查询 | 第111页 |
| 8．4 Q3的抽象语法 | 第111-114页 |
| 8．4．1 查询表达式 | 第111-112页 |
| 8．4．2 查询描述 | 第112页 |
| 8．4．3 “fact”查询描述 | 第112-113页 |
| 8．4．4 查询约束 | 第113页 |
| 8．4．5 补充说明 | 第113-114页 |
| 8．5 Q3的模型理论语义 | 第114-115页 |
| 8．6 小节 | 第115-116页 |
| 第九章 基于RDF语义的数据库网格 | 第116-131页 |
| 9．1 概述 | 第116-117页 |
| 9．1．1 DartGrid的应用背景 | 第116-117页 |
| 9．1．2 DartGrid的技术特色 | 第117页 |
| 9．2 语义与数据库网格 | 第117-118页 |
| 9．3 Dart数据库网格原型实现 | 第118-126页 |
| 9．3．1 DartGrid的网格分层结构 | 第118-119页 |
| 9．3．2 核心模块 | 第119-124页 |
| 9．3．2．1 语义浏览器 | 第119-122页 |
| 9．3．2．2 虚拟组织元目录服务 | 第122-123页 |
| 9．3．2．3 本体服务 | 第123页 |
| 9．3．2．4 语义查询服务 | 第123页 |
| 9．3．2．5 语义注册服务 | 第123页 |
| 9．3．2．6 查询分配服务 | 第123页 |
| 9．3．2．7 网格数据库服务 | 第123-124页 |
| 9．3．3 核心工作流程 | 第124-126页 |
| 9．3．3．1 语义浏览的过程 | 第124页 |
| 9．3．3．2 语义查询的过程 | 第124-125页 |
| 9．3．3．3 语义注册与注销的过程 | 第125-126页 |
| 9．4 使用RDF/OWL描述关系模式 | 第126-127页 |
| 9．4．1 数据库对象的命名空间 | 第126页 |
| 9．4．2 关系模型与RDF模型的转化规则 | 第126-127页 |
| 9．5 面向关系模型的语义查询重写 | 第127-130页 |
| 9．6 小节 | 第130-131页 |
| 第十章 总结与展望 | 第131-134页 |
| 10．1 研究内容总结 | 第131页 |
| 10．2 缺点与不足 | 第131-132页 |
| 10．3 语义技术的未来与下一步工作 | 第132-134页 |
| 10．3．1 语义技术的未来 | 第132-133页 |
| 10．3．1．1 对数据建模的影响 | 第132页 |
| 10．3．1．2 对软件开发的影响 | 第132-133页 |
| 10．3．1．3 对数据库技术的影响 | 第133页 |
| 10．3．1．4 对图形图像和多媒体技术的影响 | 第133页 |
| 10．3．2 下一步工作 | 第133-134页 |
| Reference | 第134-140页 |
| 附录一：博士期间发表论文列表 | 第140页 |
