| 图表索引 | 第1-13页 |
| 第一章 引言 | 第13-24页 |
| ·研究背景 | 第13-18页 |
| ·语义Web的研究为Web服务带来新的活力 | 第14-18页 |
| ·基于语义Web的服务自动组合 | 第18页 |
| ·语义Web服务自动组合的关键技术及相关研究 | 第18-21页 |
| ·语义Web标记语言 | 第19-20页 |
| ·Web服务的语义描述模型 | 第20-21页 |
| ·Web服务的组合方法 | 第21页 |
| ·本文的目标和主要工作 | 第21-23页 |
| ·本文的结构 | 第23-24页 |
| 第二章 语义Web规则标记语言OWLRule+ | 第24-48页 |
| ·语义Web语言的层次结构 | 第24-37页 |
| ·语法基础XML和XML Schema | 第25-29页 |
| ·元数据表示层RDF和RDFS | 第29-32页 |
| ·本体层DAML+OIL和OWL | 第32-37页 |
| ·逻辑规则层 | 第37页 |
| ·Web规则标记的相关工作 | 第37-38页 |
| ·语义Web规则标记语言OWLRule+的设计 | 第38-45页 |
| ·设计原则 | 第38-39页 |
| ·OWL-OWLRule+知识库的结构 | 第39-40页 |
| ·OWLRule+的形式化语义 | 第40页 |
| ·OWLRule+的语法设计 | 第40-45页 |
| ·OWLRule+规则表示示例 | 第45-47页 |
| ·本章小结 | 第47-48页 |
| 第三章 语义Web服务描述模型OWL-S+ | 第48-60页 |
| ·当前语义Web服务描述模型OWL-S | 第48-56页 |
| ·OWL-S的结构和描述能力 | 第48-53页 |
| ·OWL-S与其它服务模型的比较 | 第53-55页 |
| ·OWL-S对服务自动组合的支持及不足 | 第55-56页 |
| ·OWL-S+:基于OWLRule+扩展OWL-S | 第56-59页 |
| ·扩展后的本体 | 第56-59页 |
| ·OWL-S+标记用户偏好示例 | 第59页 |
| ·本章小结 | 第59-60页 |
| 第四章 基于OWL-S+和状态演算的服务组合方法OWL-SC | 第60-77页 |
| ·用状态演算来进行服务自动组合 | 第60-69页 |
| ·状态演算基本概念 | 第60-62页 |
| ·状态演算逻辑编程语言Golog系列 | 第62-66页 |
| ·在状态演算中增加意愿公理 | 第66-67页 |
| ·Golog程序的自充分性 | 第67-69页 |
| ·从OWL-S+模型到状态演算的映射 | 第69-76页 |
| ·OWL-S+中的原子过程 | 第70页 |
| ·原子过程的effects和outputs | 第70-72页 |
| ·原子过程的preconditions和inputs | 第72-74页 |
| ·OWL-S+中的用户偏好 | 第74-75页 |
| ·OWL-S+中的复合过程 | 第75-76页 |
| ·本章小结 | 第76-77页 |
| 第五章 自动组合Web服务的多agent系统AWSC-Agents | 第77-98页 |
| ·AWSC-Agents系统的设计 | 第77-80页 |
| ·AWSC-Agents系统的实现 | 第80-85页 |
| ·开发工具的选择 | 第80-81页 |
| ·IndiGolog解释器的扩展 | 第81页 |
| ·服务组合规划agent的设计 | 第81-83页 |
| ·服务调用agent的设计 | 第83-85页 |
| ·实例研究:自动进行网上行程安排的多agent系统 | 第85-97页 |
| ·“网上行程安排”服务组合问题描述 | 第85-87页 |
| ·常规任务、Web服务和用户偏好的OWL-S+标记 | 第87-90页 |
| ·多agent演示系统的实现 | 第90-97页 |
| ·本章小结 | 第97-98页 |
| 第六章 结论和展望 | 第98-101页 |
| ·论文工作总结 | 第98-99页 |
| ·进一步的工作 | 第99-101页 |
| 参考文献 | 第101-110页 |
| 附录 | 第110页 |
| 附录A OWLRule+的语法定义OWLRule.owl | 第110-118页 |
| 附录B 服务组合规划agent:TravelPlanner程序源码 | 第118-121页 |
| 致谢 | 第121-123页 |
| 攻读学位期间发表的论文和参加的科研项目 | 第123-124页 |
| 作者简介 | 第124页 |
