| 中文摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-18页 |
| ·研究背景 | 第10-16页 |
| ·本体所存在的问题 | 第12-14页 |
| ·规则 | 第14-15页 |
| ·本体和规则结合 | 第15-16页 |
| ·研究内容和创新点 | 第16页 |
| ·本文结构 | 第16-18页 |
| 第二章 本体和规则 | 第18-37页 |
| ·本体 | 第18-27页 |
| ·描述逻辑 | 第18-21页 |
| ·本体语言 | 第21-25页 |
| ·一阶逻辑 | 第25-27页 |
| ·逻辑程序设计 | 第27-34页 |
| ·Herbrand解释 | 第27-28页 |
| ·Horn字句 | 第28-29页 |
| ·Datalog规则 | 第29页 |
| ·Datalog(?) 规则 | 第29-30页 |
| ·Datalog(?) 规则 | 第30-31页 |
| ·Datalog(?) ,(?) 规则 | 第31页 |
| ·一阶回答集编程 | 第31-32页 |
| ·Jena中的规则 | 第32-34页 |
| ·单调推理与非单调推理 | 第34-37页 |
| ·单调推理 | 第34页 |
| ·非单调推理 | 第34-37页 |
| 第三章 基于本体和规则的本体模块方法 | 第37-54页 |
| ·物流概念 | 第39-40页 |
| ·模块定义 | 第40-41页 |
| ·领域知识模块化 | 第41-46页 |
| ·确定需要模块化的问题域范围 | 第41-42页 |
| ·模块化问题域 | 第42-44页 |
| ·模块再划分 | 第44-46页 |
| ·模块查询 | 第46-47页 |
| ·模块间的连接 | 第47-51页 |
| ·规则连接模块 | 第48-49页 |
| ·程序连接模块 | 第49-50页 |
| ·连接中的不一致处理 | 第50-51页 |
| ·实验结果 | 第51-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 基于本体和规则的带间断区间的时间本体 | 第54-76页 |
| ·间断区间模型在本体中的表示 | 第55-64页 |
| ·间断区间概念在本体中的表示 | 第55-58页 |
| ·间断区间的时态关系在本体中的表示 | 第58-64页 |
| ·Jena推理子系统 | 第64-67页 |
| ·基于间断区间的时间本体推理机构建 | 第67-75页 |
| ·原语设计 | 第69-71页 |
| ·规则文件的设计 | 第71-72页 |
| ·模型的操作扩展 | 第72-74页 |
| ·推理机实验检验与结果 | 第74-75页 |
| ·本章小结 | 第75-76页 |
| 第五章 基于限定的本体与规则的整合 | 第76-98页 |
| ·本体和规则结合方式的分类 | 第77-83页 |
| ·DL-programs | 第77-78页 |
| ·混合MKNF（MKNF）知识库 | 第78-80页 |
| ·已存在的本体和规则结合的分类 | 第80-81页 |
| ·基于语义的本体和规则结合的分类 | 第81-83页 |
| ·逻辑基础 | 第83-84页 |
| ·基于SNA的一阶逻辑 | 第83页 |
| ·并行限定 | 第83-84页 |
| ·混合限定知识库 | 第84-86页 |
| ·用c-model表示混合知识库的NM-Model | 第86-89页 |
| ·用c-model表示disjunctive dl-programs的回答集语义 | 第89-93页 |
| ·讨论 | 第93-95页 |
| ·基于一阶一般稳定模型的本体与规则的整合 | 第95-96页 |
| ·本章小结 | 第96-98页 |
| 第六章 结束语 | 第98-100页 |
| ·本文工作总结 | 第98-99页 |
| ·将来进一步的研究方向 | 第99-100页 |
| 参考文献 | 第100-109页 |
| 发表论文和参加科研情况说明 | 第109-110页 |
| 致谢 | 第110页 |