声明
摘要
缩略词表
第一章 绪论
1.1 研究背景
1.2 研究内容
1.3 本文结构安排
第二章 相关工作
2.1 描述逻辑EL+
2.2 相关推理服务
2.2.1.标准推理服务
2.2.2.补充推理服务
2.3 相关工作
2.3.1.静态本体中辩解求取相关工作
2.3.2.动态演化本体中的辩解求取相关工作
2.4 本章小结
第三章 描述逻辑EL+本体中的辩解求取算法
3.1 辩解求取算法
3.2 增量式辩解求取算法
3.3 实验结果与分析
3.4 本章小结
第四章 Fuzzy EL+本体中的辩解求取算法
4.1 模糊描述逻辑和Fuzzy EL+语法和语义
4.2 Fuzzy EL+中的辩解求取算法研究
4.3 实验结果与分析
4.4 本章小结
第五章 总结与展望
5.1 工作总结
5.2 未来展望
致谢
参考文献
作者(包括论文和成果清单)