描述逻辑推理优化技术研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-10页 |
| 插图目录 | 第10-11页 |
| 表目录 | 第11-12页 |
| 第1章 绪论 | 第12-24页 |
| ·引言 | 第12-13页 |
| ·描述逻辑简介 | 第13-17页 |
| ·网状结构的知识表示 | 第13-14页 |
| ·描述逻辑的内容和发展历史 | 第14-17页 |
| ·近似化推理的基本思想和方法 | 第17-19页 |
| ·近似推理的基本思想 | 第17-18页 |
| ·近似演绎的几种方法 | 第18-19页 |
| ·现有方法存在的问题 | 第19-20页 |
| ·研究思路与研究内容 | 第20-21页 |
| ·论文组织 | 第21-24页 |
| 第2章 描述逻辑基础 | 第24-34页 |
| ·描述逻辑的语法和语义 | 第24-26页 |
| ·ALC介绍 | 第26-27页 |
| ·语法 | 第26-27页 |
| ·语义 | 第27页 |
| ·TBox推理 | 第27-31页 |
| ·ABox推理 | 第31-33页 |
| ·总结 | 第33-34页 |
| 第3章 基于个体的推理优化 | 第34-47页 |
| ·分类算法 | 第34-36页 |
| ·BFM | 第35页 |
| ·STM | 第35-36页 |
| ·ETM | 第36页 |
| ·CIM | 第36页 |
| ·显示包含计算 | 第36-37页 |
| ·基于ABox的一致性检查和推理过程的优化 | 第37-44页 |
| ·ABox的一致性检查 | 第38页 |
| ·分类优化 | 第38-43页 |
| ·算法 | 第43-44页 |
| ·实验结果及分析 | 第44-45页 |
| ·基于本体的模块依赖检测 | 第45-46页 |
| ·总结 | 第46-47页 |
| 第4章 描述逻辑推理近似化 | 第47-75页 |
| ·个体获取的语义计算 | 第47-51页 |
| ·基于概念泛化和窄化的近似计算 | 第51-52页 |
| ·个体获取的近似计算 | 第52-53页 |
| ·推理过程的复杂度估计 | 第53-59页 |
| ·TBox推理的复杂度估算 | 第55-58页 |
| ·ABox推理的复杂度估算 | 第58-59页 |
| ·基于分区的近似化 | 第59-68页 |
| ·分区方法 | 第61-63页 |
| ·分布式描述逻辑的近似化 | 第63-68页 |
| ·近似化的修正 | 第68-70页 |
| ·实验 | 第70-73页 |
| ·基于语义计算的个体获取 | 第70-71页 |
| ·概念包含的近似化计算 | 第71-72页 |
| ·基于推理复杂度估算的近似化 | 第72-73页 |
| ·基于本体的制造资源检索 | 第73页 |
| ·总结 | 第73-75页 |
| 第5章 查询近似化 | 第75-93页 |
| ·描述逻辑中的查询 | 第76-80页 |
| ·查询研究的发展 | 第76-78页 |
| ·查询问题的相关定义 | 第78-80页 |
| ·描述逻辑SHOIQ中查询的近似求解 | 第80-82页 |
| ·基于优先级的查询近似化 | 第82-85页 |
| ·带优先级的查询树及其遍历 | 第82-84页 |
| ·效率分析 | 第84-85页 |
| ·基于概化的查询近似化 | 第85-92页 |
| ·总结 | 第92-93页 |
| 第6章 偏好的OWL表示和推理 | 第93-107页 |
| ·引言 | 第93-94页 |
| ·定性偏好描述语言 | 第94-96页 |
| ·分级知识库 | 第94-95页 |
| ·基本偏好和偏好算子 | 第95页 |
| ·偏好语言 | 第95-96页 |
| ·偏好的OWL表示 | 第96-101页 |
| ·分级知识库的构造 | 第96-97页 |
| ·模型的表示 | 第97-98页 |
| ·基本偏好的描述逻辑表示 | 第98-99页 |
| ·偏好策略算子 | 第99-101页 |
| ·联结算子 | 第101页 |
| ·条件偏好 | 第101-102页 |
| ·实例和讨论 | 第102-105页 |
| ·结论 | 第105-107页 |
| 第7章 总结和展望 | 第107-112页 |
| ·论文的主要工作概述 | 第107-109页 |
| ·本文的主要工作 | 第107-108页 |
| ·本文的创新点 | 第108-109页 |
| ·未来工作展望 | 第109-112页 |
| 参考文献 | 第112-122页 |
| 作者简历及攻读博士学位期间主要的研究成果 | 第122-123页 |
| 致谢 | 第123页 |
