文摘
英文文摘
绪 论
第一章知识库系统的研究
1.1知识概述
1.1.1知识的定义
1.1.2知识的分层
1.1.3知识的类型
1.2知识库和知识库管理系统
1.2.1知识库
1.2.2知识库管理系统
1.3知识库系统
1.3.1知识库系统的概念
1.3.2知识库系统的结构
1.4知识库系统实现的相关问题
1.4.1知识获取
1.4.2知识表示
1.4.3知识推理
1.5知识库系统维护
本章小结
第二章本体理论的研究
2.1语义网简介
2.1.1语义网的定义
2.1.2语义网体系结构
2.2本体的基本知识
2.2.1本体的定义
2.2.2本体的应用
2.3本体的分类
2.4本体的组成
2.5描述逻辑综述
2.5.1描述逻辑的概念
2.5.2描述逻辑的发展过程
2.5.3基本描述逻辑ALC
2.5.4描述逻辑的知识库
本章小结
第三章一种新的模糊描述逻辑——NFALC
3.1模糊描述逻辑
3.2非单调模糊描述逻辑NFALC
3.2.1 NFALC的语法
3.2.2 NFALC的语义解释
3.3非单调模糊描述逻辑NFALC的性质
3.4基于描述逻辑的本体描述语言
3.5非单调模糊描述逻辑NFALC与OWL的对应关系
3.5.1 OWL本体语言分类
3.5.2 NFALC与OWL的对应关系
本章小结
第四章 描述逻辑的推理算法改进及性能分析
4.1 Tableaux 算法概述
4.2非单调模糊描述逻辑NFALC的推理算法
4.2.1可满足性问题
4.2.2 Tableaux-N算法
4.3仿真验证及性能分析
本章小结
第五章 基本体的知识库系统设计及实现
5.1本体建模
5.1.1本体建模元语
5.1.2本体建模的优点
5.1.3本体建模方法
5.1.4本体的构建
5.2基于本体的知识库系统设计
5.2.1基本思想
5.2.2基于本体的查询系统知识库设计
5.2.3系统总体框架
5.3系统功能模块
5.4基于本体的知识库系统实现
本章小结
结 论
参考文献
攻读硕士学位期间发表的学术论文
致 谢
大连交通大学;