| 本文受 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-14页 |
| 第一章 绪论 | 第14-36页 |
| ·引言 | 第14页 |
| ·语义Web | 第14-17页 |
| ·语义Web的层次模型 | 第14-16页 |
| ·知识表示与语义Web | 第16-17页 |
| ·语义Web的研究现状 | 第17-30页 |
| ·本体 | 第17-19页 |
| ·RDF/RDFS | 第19-23页 |
| ·OWL | 第23-27页 |
| ·语义Web的基础软件 | 第27-28页 |
| ·语义Web服务 | 第28-30页 |
| ·研究动机与研究内容 | 第30-33页 |
| ·本文的组织 | 第33-36页 |
| 第二章 动态描述逻辑DDL | 第36-60页 |
| ·引言 | 第36-37页 |
| ·描述逻辑形式系统 | 第37-42页 |
| ·描述逻辑的发展历史 | 第37-39页 |
| ·描述逻辑的语法与语义 | 第39-40页 |
| ·描述逻辑知识库 | 第40-41页 |
| ·描述逻辑推理 | 第41-42页 |
| ·动态描述逻辑形式系统 | 第42-46页 |
| ·动作的语法 | 第42-45页 |
| ·动作的语义 | 第45-46页 |
| ·动态描述逻辑的推理 | 第46-51页 |
| ·原子动作的一致性 | 第47-48页 |
| ·基于Tableaux的原子动作一致性检测 | 第48-50页 |
| ·基本的动作推理 | 第50-51页 |
| ·实例分析 | 第51-55页 |
| ·相关工作 | 第55-59页 |
| ·传统的方法 | 第56-57页 |
| ·动态性相关理论的扩展DL的方法 | 第57-59页 |
| ·小结 | 第59-60页 |
| 第三章 基于逻辑程序设计的DDL动作表示和推理支持 | 第60-72页 |
| ·引言 | 第60页 |
| ·逻辑程序设计与描述逻辑 | 第60-62页 |
| ·逻辑程序设计 | 第61-62页 |
| ·DLP:描述逻辑DL与逻辑程序设计LP的语义交集 | 第62页 |
| ·DDL与转移系统 | 第62-63页 |
| ·动作到逻辑程序的转换 | 第63-67页 |
| ·原子动作的转换 | 第65-66页 |
| ·复杂动作的转换 | 第66-67页 |
| ·基于LP的动作解释和推理 | 第67-69页 |
| ·基于LP的动作解释 | 第68页 |
| ·基于LP的原子动作一致性 | 第68-69页 |
| ·基于LP的动作可执行性和投影 | 第69页 |
| ·相关工作 | 第69-71页 |
| ·基于规则的扩展DL的方法 | 第69-70页 |
| ·动作理论 | 第70-71页 |
| ·小结 | 第71-72页 |
| 第四章 基于区间的知识模型及其查询语言 | 第72-88页 |
| ·引言 | 第72-73页 |
| ·相关工作 | 第73-77页 |
| ·本体模型 | 第74页 |
| ·时序的ER模型 | 第74-75页 |
| ·时序的描述逻辑 | 第75-76页 |
| ·我们的方法 | 第76-77页 |
| ·时间域的表示 | 第77-78页 |
| ·时序特征 | 第78-80页 |
| ·显示的时序特征 | 第78-80页 |
| ·隐式的时序特征 | 第80页 |
| ·基于区间的知识模型 | 第80-83页 |
| ·时序知识模式 | 第80-81页 |
| ·时序完整性约束 | 第81页 |
| ·时序解释模型 | 第81-83页 |
| ·一个简单例子 | 第83页 |
| ·时序查询语言 | 第83-87页 |
| ·时序布尔表达式 | 第83-85页 |
| ·时序选择 | 第85页 |
| ·时序投影 | 第85页 |
| ·时序查询语言的描述 | 第85-87页 |
| ·小结 | 第87-88页 |
| 第五章 面向服务和本体驱动的知识管理 | 第88-108页 |
| ·引言 | 第88-89页 |
| ·总体框架 | 第89-92页 |
| ·网格本体服务GOS | 第92-96页 |
| ·网格本体外延GOE接口 | 第92-95页 |
| ·网格本体查询GOQ接口 | 第95-96页 |
| ·网格本体服务GOS的交互 | 第96页 |
| ·网格本体协调服务GOMS | 第96-104页 |
| ·网格本体协调GOM接口 | 第97-100页 |
| ·网格本体分布查询GODQ接口 | 第100-103页 |
| ·网格本体协调GOMS服务的交互 | 第103-104页 |
| ·相关工作 | 第104-107页 |
| ·分布资源管理系统 | 第104-106页 |
| ·网格与语义网格 | 第106-107页 |
| ·小结 | 第107-108页 |
| 第六章 基于多主体的知识服务环境 | 第108-122页 |
| ·引言 | 第108页 |
| ·多主体系统和Agent的结构 | 第108-111页 |
| ·语义层和SA主体 | 第111-113页 |
| ·知识层和GW主体 | 第113-117页 |
| ·服务层 | 第117-119页 |
| ·小结 | 第119-122页 |
| 第七章 结束语 | 第122-124页 |
| ·本文的主要贡献 | 第122-123页 |
| ·下一步研究工作 | 第123-124页 |
| 参考文献 | 第124-133页 |
| 致谢 | 第133-134页 |
| 作者简历 | 第134-135页 |
| 攻读博士学位期间发表的论文 | 第135-136页 |
| 攻读博士学位期间参加的科研项目 | 第136页 |