| 中文摘要 | 第1-7页 |
| 英文摘要 | 第7-10页 |
| 目录 | 第10-15页 |
| 第一章 引 言 | 第15-45页 |
| ·本体 | 第16-29页 |
| ·相关工作 | 第16-24页 |
| ·本体和知识表示 | 第17-18页 |
| ·本体的组成部分以及各部分的特性 | 第18-20页 |
| ·本体表示语言 | 第20-22页 |
| ·本体表示语言的比较 | 第22-24页 |
| ·本文中的本体 | 第24-29页 |
| ·本体系统的语言 | 第24-26页 |
| ·本体系统的推理规则 | 第26-27页 |
| ·本体的协调性和本体的缺省理论 | 第27页 |
| ·本体的特点 | 第27-29页 |
| ·信念修正 | 第29-33页 |
| ·基本原则和信念修正模式 | 第30-31页 |
| ·信念集和信念基 | 第31页 |
| ·信念修正方法 | 第31-33页 |
| ·本体修正 | 第33-43页 |
| ·相关工作 | 第33-34页 |
| ·本文中的本体修正 | 第34-41页 |
| ·本体修正的假定和公理系统 | 第35-38页 |
| ·本体修正算子 | 第38-39页 |
| ·本体修正的特点 | 第39-41页 |
| ·本文的本体修正和信念修正的形式比较 | 第41-43页 |
| ·本文的主要结果 | 第43页 |
| ·本文章节安排 | 第43-45页 |
| 第二章 基本知识 | 第45-51页 |
| ·缺省逻辑 | 第45-47页 |
| ·信念修正 | 第47-49页 |
| ·AGM公理 | 第47-49页 |
| ·DP公理 | 第49页 |
| ·符号 | 第49-51页 |
| 第三章 本体 | 第51-103页 |
| ·一个本体的示例 | 第52-55页 |
| ·示例本体 | 第52-53页 |
| ·示例本体的描述 | 第53-55页 |
| ·本体的本体论假设 | 第55-56页 |
| ·本体系统表示语言 | 第56-70页 |
| ·本体系统的语言中的基本对象 | 第57-61页 |
| ·类和个体 | 第58页 |
| ·侧面 | 第58-59页 |
| ·槽和类槽 | 第59-60页 |
| ·子槽 | 第60-61页 |
| ·本体系统的语言中的框架 | 第61-69页 |
| ·类框架 | 第61-64页 |
| ·个体框架 | 第64-65页 |
| ·槽框架 | 第65-66页 |
| ·类槽框架 | 第66-69页 |
| ·本体的定义 | 第69-70页 |
| ·本体系统中的推理规则 | 第70-86页 |
| ·逻辑规则 | 第71-78页 |
| ·传递规则 | 第71页 |
| ·逆规则 | 第71-72页 |
| ·弱化规则 | 第72页 |
| ·超类和子类之间的继承规则 | 第72-73页 |
| ·超类和子类之间的缺省继承规则 | 第73-76页 |
| ·类和个体之间的继承规则 | 第76-77页 |
| ·类和个体之间的缺省继承规则 | 第77-78页 |
| ·与内置符号相关的规则 | 第78-86页 |
| ·槽上的断言之间的约束规则 | 第79页 |
| ·类槽上的断言之间的约束规则 | 第79-80页 |
| ·槽上的断言与类槽上的断言之间的约束规则 | 第80-81页 |
| ·类槽上的断言与类上的断言之间的值限制规则 | 第81-83页 |
| ·类槽上的断言与个体上的断言之间的值限制规则 | 第83-85页 |
| ·槽上的断言与类上的断言之间的值限制规则 | 第85页 |
| ·槽上的断言与个体上的断言之间的值限制规则 | 第85-86页 |
| ·本体的逻辑结论和逻辑闭包 | 第86页 |
| ·本体的协调性 | 第86-98页 |
| ·本体的协调性 | 第87-88页 |
| ·本体的逻辑闭包的协调性 | 第88-98页 |
| ·槽上的断言之间和类槽上的槽断言之间的典型冲突 | 第88-89页 |
| ·类上的断言之间和个体上的断言之间的典型冲突 | 第89-90页 |
| ·槽上的断言和类槽上的断言之间的典型冲突 | 第90-91页 |
| ·类槽上的断言与类上的断言之间的典型冲突 | 第91-92页 |
| ·类槽上的断言和个体上的断言之间的典型冲突 | 第92页 |
| ·个体上的断言和类上的断言之间的典型冲突 | 第92-93页 |
| ·槽上的断言与类上的断言之间的典型冲突 | 第93页 |
| ·槽上的断言与个体上的断言之间的典型冲突 | 第93-98页 |
| ·本体系统的缺省理论 | 第98-103页 |
| 第四章 本体修正 | 第103-159页 |
| ·一个本体修正的示例 | 第105-113页 |
| ·一个示例本体 | 第105-107页 |
| ·示例本体的修正 | 第107-110页 |
| ·对示例本体的修正方法的比较 | 第110-111页 |
| ·信念修正与本体修正的差异 | 第111-113页 |
| ·对示例本体的信念修正 | 第111-112页 |
| ·对示例本体的信念修正和本体修正的比较 | 第112-113页 |
| ·本体修正的假定 | 第113-117页 |
| ·本体修正假定的描述 | 第113-115页 |
| ·本体修正的假定 | 第115-117页 |
| ·本体修正的公理 | 第117-120页 |
| ·本体与修正断言的协调性 | 第120-141页 |
| ·本体与修正断言协调的情况 | 第120-122页 |
| ·本体与修正断言不协调的情况 | 第122-141页 |
| ·本体和直接超类断言之间的不协调 | 第122-131页 |
| ·本体与确定槽值断言之间的不协调 | 第131-137页 |
| ·本体与直接实例断言之间的不协调 | 第137-139页 |
| ·本体与否定的直接超类断言, 直接实例断言或者确定槽值断言之间的不协调 | 第139-141页 |
| ·本体修正中的重新分类 | 第141-145页 |
| ·两个类之间有子类关系时的重新分类 | 第142-143页 |
| ·两个类之间无子类关系时的重新分类 | 第143-144页 |
| ·重新分类的示例 | 第144-145页 |
| ·本体修正算子? | 第145-159页 |
| 第五章 本体修正与信念修正的比较 | 第159-179页 |
| ·缺省逻辑 | 第159-161页 |
| ·本体系统与缺省逻辑的比较 | 第161页 |
| ·本体系统到缺省逻辑的转换 | 第161-170页 |
| ·本体系统的语言到缺省逻辑的转换 | 第163-168页 |
| ·个体上的断言到缺省逻辑的转换 | 第164页 |
| ·类上的断言到缺省逻辑的转换 | 第164-165页 |
| ·类槽上的断言到缺省逻辑的转换 | 第165-166页 |
| ·槽上的断言到缺省逻辑的转换 | 第166-168页 |
| ·本体的逻辑闭包到缺省逻辑的转换 | 第168-170页 |
| ·本体系统到缺省逻辑的转换函数的特性 | 第170-172页 |
| ·信念修正和本体修正的比较 | 第172-179页 |
| ·形式比较 | 第172-175页 |
| ·案例分析 | 第175-179页 |
| 第六章 结论与未来工作 | 第179-185页 |
| ·本文工作总结 | 第179-182页 |
| ·存在的问题和未来工作 | 第182-185页 |
| 参考文献 | 第185-193页 |
| 致谢 | 第193-195页 |
| 作者简历 | 第195页 |