描述逻辑归结推理的研究
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 绪论 | 第8-11页 |
| ·前言 | 第8页 |
| ·论文研究的内容 | 第8-9页 |
| ·论文的组织结构 | 第9-11页 |
| 第二章 描述逻辑 | 第11-23页 |
| ·描述逻辑简述 | 第11-12页 |
| ·描述逻辑的历史发展 | 第12-13页 |
| ·描述逻辑的体系结构 | 第13-17页 |
| ·描述逻辑的概念断言：TBox | 第15-16页 |
| ·描述逻辑的实例断言ABox | 第16-17页 |
| ·描述逻辑的构造算子 | 第17-18页 |
| ·描述逻辑的推理问题 | 第18-20页 |
| ·Tableaux 算法 | 第20-21页 |
| ·动态描述逻辑DDL | 第21-23页 |
| 第三章 语义网 | 第23-40页 |
| ·语义网的体系结构 | 第23-25页 |
| ·语义网的研究现状 | 第25-38页 |
| ·知识表示 | 第25-30页 |
| ·本体 | 第30-31页 |
| ·RDF/RDFS | 第31-34页 |
| ·OWL | 第34-38页 |
| ·描述逻辑与语义网 | 第38-40页 |
| 第四章 归结推理方法 | 第40-48页 |
| ·命题逻辑的归结法 | 第40-42页 |
| ·Herbrand 定理 | 第42-43页 |
| ·归结原理 | 第43-45页 |
| ·删除策略 | 第43页 |
| ·语义归结 | 第43-44页 |
| ·线性归结 | 第44-45页 |
| ·单元归结 | 第45页 |
| ·输入归结 | 第45页 |
| ·归结推理在描述逻辑中的应用 | 第45-48页 |
| 第五章 粗糙集 | 第48-52页 |
| ·粗糙集的概念 | 第48-50页 |
| ·粗糙集在描述逻辑中的应用 | 第50-52页 |
| ·模糊描述逻辑 FALNUI | 第50-51页 |
| ·模糊描述逻辑表示能力有限 | 第51-52页 |
| 第六章 框架模型实例 | 第52-57页 |
| ·Jena 简介 | 第52-53页 |
| ·框架模型的建立 | 第53-57页 |
| 第七章 总结 | 第57-58页 |
| ·主要工作回顾 | 第57页 |
| ·本课题今后需进一步研究的地方 | 第57-58页 |
| 参考文献 | 第58-61页 |
| 个人简历 在读期间发表的学术论文 | 第61-62页 |
| 致谢 | 第62页 |
