| 提要 | 第1-7页 |
| 第一章 绪论 | 第7-10页 |
| ·引言 | 第7-8页 |
| ·研究背景 | 第7-8页 |
| ·应用背景 | 第8页 |
| ·本文的内容及结构安排 | 第8-10页 |
| 第二章 相关技术与理论 | 第10-23页 |
| ·工作流技术及相关标准 | 第10-12页 |
| ·工作流定义 | 第10-12页 |
| ·工作流管理系统及其分类 | 第12页 |
| ·语义网络分层框架解析 | 第12-23页 |
| ·RDF(S)和OWL | 第15-18页 |
| ·Logic 层 | 第18页 |
| ·RDF 存储和查询 | 第18-19页 |
| ·本体存储与查询 | 第19-21页 |
| ·本体的推理 | 第21-23页 |
| 第三章 EkSarva_ODM 模型的存储与查询 | 第23-41页 |
| ·EkSarva_ODM 的整体框架 | 第23-26页 |
| ·EkSarva_ODM 模型本体存储的设计与实现 | 第26-36页 |
| ·RDF（S）/XML 解析 | 第27-29页 |
| ·RDF（S）/OWL 建模 | 第29-34页 |
| ·本体序列化以及转化 | 第34页 |
| ·模型的导入和持久化保存 | 第34-36页 |
| ·基于RDQL 语言的语义查询 | 第36-40页 |
| ·本章小节 | 第40-41页 |
| 第四章 EkSarva_ODM 模型的推理子系统 | 第41-66页 |
| ·推理机的作用 | 第41-44页 |
| ·ontology 中冲突的检测 | 第41-42页 |
| ·ontology 表达优化 | 第42页 |
| ·ontology 的扩充 | 第42-43页 |
| ·获取ontology 的知识 | 第43-44页 |
| ·验证知识的正确性 | 第44页 |
| ·推理机实现工作流模型的验证 | 第44-55页 |
| ·工作流模型验证定义及错误分类 | 第44-46页 |
| ·工作流模型错误的验证流程 | 第46-47页 |
| ·基于“有向图扫描”的简单错误检测 | 第47-48页 |
| ·有向图到Petri 网的转换 | 第48-52页 |
| ·基于可达树算法的验证过程 | 第52-55页 |
| ·EkSarva_ODM 推理子系统整体流程 | 第55-60页 |
| ·DL－本体的逻辑基础 | 第56-57页 |
| ·OWL 本体向一阶谓词的转化 | 第57-58页 |
| ·规则知识库的建立 | 第58-60页 |
| ·EkSarva_ODM 推理机子系统的实现 | 第60-64页 |
| ·推理机实现用户查询 | 第61-64页 |
| ·推理机子系统运行结果 | 第64-65页 |
| ·本章小节 | 第65-66页 |
| 第五章 总结和展望 | 第66-68页 |
| ·本文的总结 | 第66页 |
| ·前景和展望 | 第66-68页 |
| 参考文献 | 第68-70页 |
| 摘要 | 第70-72页 |
| Abstract | 第72-75页 |
| 致谢 | 第75页 |