基于语义Web的自动推理技术研究
| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 引言 | 第8-12页 |
| ·研究背景 | 第8-9页 |
| ·问题的提出 | 第9-10页 |
| ·本研究所做的工作 | 第10-12页 |
| 第二章 语义Web的技术要点 | 第12-34页 |
| ·语义Web的体系结构 | 第12-16页 |
| ·语义Web本体描述语言OWL | 第16-22页 |
| ·OWL的三个子语言 | 第17-19页 |
| ·OWL的表达能力 | 第19-22页 |
| ·本体论 | 第22-24页 |
| ·本体论的定义 | 第22-23页 |
| ·本体作为知识的表示方法 | 第23-24页 |
| ·本体论工程 | 第24-27页 |
| ·Natalya本体论工程 | 第24-26页 |
| ·企业建模法 | 第26-27页 |
| ·语义Web规则语言SWRL | 第27-34页 |
| 第三章 语义Web与描述逻辑 | 第34-46页 |
| ·描述逻辑 | 第34-37页 |
| ·描述逻辑应用于语义Web | 第37-42页 |
| ·描述逻辑与本体表示 | 第37-38页 |
| ·描述逻辑的推理 | 第38-40页 |
| ·可满足性检验算法: Tableaux算法 | 第40-42页 |
| ·OWL与描述逻辑 | 第42-46页 |
| 第四章 推理系统的设计 | 第46-64页 |
| ·推理系统的总体设计 | 第46-53页 |
| ·知识的表示方式 | 第47-49页 |
| ·规则的表示方法 | 第49-51页 |
| ·推理方案的整体描述 | 第51-53页 |
| ·RACER系统 | 第53-56页 |
| ·RACER系统介绍 | 第53-54页 |
| ·RACER的推理 | 第54页 |
| ·在OWL DL推理中的应用 | 第54-56页 |
| ·Jess系统 | 第56-58页 |
| ·Jess系统介绍 | 第56-57页 |
| ·RETE算法 | 第57-58页 |
| ·将OWL本体转换为Jess中的知识 | 第58-60页 |
| ·将SWRL规则转换成Jess中的规则 | 第60-64页 |
| ·XSLT格式转换原理 | 第60-61页 |
| ·应用XSLT对SWRL进行格式转换 | 第61-64页 |
| 第五章 应用实例-教学资源本体的相关推理服务 | 第64-77页 |
| ·教学资源本体的建立 | 第65-70页 |
| ·教学资源本体的相关推理 | 第70-76页 |
| ·实例总结 | 第76-77页 |
| 第六章 结束语 | 第77-80页 |
| ·论文的总结 | 第77-78页 |
| ·对未来的一些建议 | 第78-80页 |
| 参考文献 | 第80-84页 |
| 致谢 | 第84页 |
