整体结构及其表示与推理
| 摘要 | 第1-17页 |
| ABSTRACT | 第17-21页 |
| 第一章 序论 | 第21-63页 |
| ·引言 | 第21-22页 |
| ·本体论与本体工程 | 第22-31页 |
| ·本体论简介 | 第23-26页 |
| ·本体 | 第26-30页 |
| ·小结 | 第30-31页 |
| ·问题分析 | 第31-38页 |
| ·元建模体系结构 | 第31-33页 |
| ·本体描述语言 | 第33-34页 |
| ·研究内容、方案与意义 | 第34-38页 |
| ·部分整体关系的相关研究 | 第38-44页 |
| ·Mereology理论 | 第38-40页 |
| ·概念建模领域的相关研究 | 第40-42页 |
| ·知识表示领域的相关研究 | 第42-44页 |
| ·角色 | 第44-52页 |
| ·数据库建模 | 第45-47页 |
| ·软件工程概念建模 | 第47-49页 |
| ·知识表示领域 | 第49-51页 |
| ·小结 | 第51-52页 |
| ·描述逻辑 | 第52-59页 |
| ·描述逻辑简介 | 第52-55页 |
| ·SHIQ的语法和语义 | 第55-57页 |
| ·DLS的局限性 | 第57-59页 |
| ·工作概要 | 第59-63页 |
| ·本文主要贡献 | 第59-61页 |
| ·本文的组织 | 第61-63页 |
| 第二章 整体结构 | 第63-83页 |
| ·本体依赖 | 第63-66页 |
| ·依赖作为被定义的关系 | 第63-64页 |
| ·依赖作为原始关系 | 第64-65页 |
| ·概念依赖 | 第65页 |
| ·共享性和布局约束 | 第65-66页 |
| ·关于部分和整体的表示 | 第66-69页 |
| ·关于共享部分的表示问题 | 第66-67页 |
| ·部分与整体之间的概念依赖 | 第67-68页 |
| ·表示的一般性 | 第68页 |
| ·表示完整性约束的复杂性 | 第68页 |
| ·整体的上下文表示 | 第68-69页 |
| ·理解部分和整体 | 第69-75页 |
| ·PW关系的特殊语义 | 第70-71页 |
| ·理解整体 | 第71-72页 |
| ·理解部分 | 第72-74页 |
| ·小结 | 第74-75页 |
| ·整体结构 | 第75-77页 |
| ·整体结构定义 | 第75-76页 |
| ·关于In关系的讨论 | 第76-77页 |
| ·整体结构的相关表示 | 第77-81页 |
| ·用整体结构表示部分 | 第77-79页 |
| ·整体结构表示的简单性 | 第79-81页 |
| ·总结 | 第81-83页 |
| 第三章 本体元建模体系结构 | 第83-105页 |
| ·本体论元建模的动机 | 第83-85页 |
| ·本体论元建模与语言元建模之间的区别 | 第83-84页 |
| ·本体论元建模与本体描述语言之间的关系 | 第84-85页 |
| ·本体元建模的基本原理 | 第85-89页 |
| ·‘is’的含义 | 第85-87页 |
| ·存在的一般表示模式 | 第87-88页 |
| ·in关系 | 第88-89页 |
| ·本体论元建模体系结构框架 | 第89-93页 |
| ·框架构成 | 第90-91页 |
| ·内置关系 | 第91-92页 |
| ·一般范畴列表 | 第92-93页 |
| ·基本任务 | 第93页 |
| ·本体论元建模体系结构语言支持 | 第93-97页 |
| ·元语言 | 第93-95页 |
| ·本体描述语言 | 第95-97页 |
| ·原始元概念的解释 | 第97-102页 |
| ·Bunge本体论原理 | 第97-99页 |
| ·元性质 | 第99页 |
| ·属性 | 第99-100页 |
| ·对象类 | 第100-101页 |
| ·关系 | 第101-102页 |
| ·协作 | 第102页 |
| ·总结 | 第102-105页 |
| 第四章 整体结构的形式化语言 | 第105-127页 |
| ·抽象语法 | 第105-108页 |
| ·元概念的形式约束 | 第108-110页 |
| ·类属关系 | 第110-113页 |
| ·Is-A关系 | 第110-111页 |
| ·is-a关系 | 第111-112页 |
| ·Extend和Use关系 | 第112-113页 |
| ·实例级公理 | 第113-115页 |
| ·概念依赖 | 第115-117页 |
| ·概念依赖的定义 | 第115-116页 |
| ·概念依赖的刻画 | 第116-117页 |
| ·形式语义 | 第117-124页 |
| ·与语义有关的若干问题 | 第117-119页 |
| ·形式理论 | 第119-122页 |
| ·语义解释 | 第122-124页 |
| ·总结 | 第124-127页 |
| 第五章 角色的形式化表示 | 第127-141页 |
| ·角色相关研究的总结 | 第127-129页 |
| ·角色的必要性 | 第127-128页 |
| ·关于角色的核心问题 | 第128页 |
| ·角色的直观定义 | 第128-129页 |
| ·关于角色的表示问题 | 第129-131页 |
| ·关于角色的本体论分析 | 第131-134页 |
| ·角色是独立的范畴 | 第131-132页 |
| ·角色是内部事物 | 第132-133页 |
| ·角色实例 | 第133页 |
| ·小结 | 第133-134页 |
| ·角色的整体结构表示 | 第134-137页 |
| ·关系角色的表示 | 第134页 |
| ·社会角色的表示 | 第134-135页 |
| ·角色实例的表示 | 第135-137页 |
| ·角色的形式约束和解释 | 第137-139页 |
| ·外部概念与play约束 | 第137-138页 |
| ·部分约束和外部依赖 | 第138-139页 |
| ·形式语义 | 第139页 |
| ·总结 | 第139-141页 |
| 第六章 UML静态结构形式化 | 第141-165页 |
| ·引言 | 第141-143页 |
| ·UML静态结构图 | 第143-148页 |
| ·包图 | 第143-144页 |
| ·类图 | 第144-147页 |
| ·复合结构图 | 第147-148页 |
| ·问题分析 | 第148-151页 |
| ·本体论问题 | 第149-150页 |
| ·形式化语言的问题 | 第150-151页 |
| ·UML形式化的体系结构 | 第151-157页 |
| ·重构UML压元建模体系结构 | 第151-152页 |
| ·语言框架 | 第152-154页 |
| ·类属维度 | 第154-157页 |
| ·UML概念的形式化 | 第157-162页 |
| ·整体结构和内置关系的表示 | 第157页 |
| ·元概念形式化 | 第157-162页 |
| ·语言支持 | 第162页 |
| ·讨论与总结 | 第162-165页 |
| 第七章 描述逻辑关系扩展 | 第165-183页 |
| ·描述逻辑推理算法介绍 | 第165-170页 |
| ·场景 | 第165-167页 |
| ·基于树模型的推理算法 | 第167-168页 |
| ·算法正确性 | 第168-170页 |
| ·描述逻辑ALCQ(RS) | 第170-173页 |
| ·动机 | 第170-171页 |
| ·ALCQ(RS)的语法和语义 | 第171-173页 |
| ·ALCQ(RS)的推理算法 | 第173-176页 |
| ·ALCQ(RS)完成规则 | 第173-175页 |
| ·ALCQ(RS)算法的正确性证明 | 第175-176页 |
| ·无环和有限链关系约束扩展 | 第176-179页 |
| ·研究动机 | 第176-177页 |
| ·SHIQ+R~(AF)的语法和语义 | 第177-178页 |
| ·SHIQ+R~(AF)场景 | 第178-179页 |
| ·SHIQ+R~(AF)算法及其正确性证明 | 第179-182页 |
| ·总结 | 第182-183页 |
| 第八章 DLs有限模型推理算法 | 第183-211页 |
| ·ALCIQ的有限场景 | 第183-185页 |
| ·ALCIQ的不等式系统算法 | 第185-188页 |
| ·有限模型不等式系统的若干性质 | 第188-191页 |
| ·简单线性不等式系统 | 第188-190页 |
| ·预模型 | 第190-191页 |
| ·一个简单的ALCIN有限模型推理算法 | 第191-201页 |
| ·问题分析 | 第192-193页 |
| ·受限子类型 | 第193-194页 |
| ·ALCIN的不等式系统 | 第194-197页 |
| ·算法正确性证明 | 第197-201页 |
| ·ALCHIN有限模型推理算法 | 第201-207页 |
| ·关系层次的表示和相关定义 | 第201-202页 |
| ·ALCHIN的受限子类型 | 第202-203页 |
| ·ALCHIN的不等式系统 | 第203-205页 |
| ·算法复杂性和正确性 | 第205-207页 |
| ·SHIN有限模型推理算法 | 第207-208页 |
| ·总结 | 第208-211页 |
| 第九章 DLs关于CBox的有限模型推理算法 | 第211-237页 |
| ·预备知识 | 第211-213页 |
| ·基数约束与个体常元 | 第211-212页 |
| ·ALCIQ-CBox的有限模型场景 | 第212-213页 |
| ·描述逻辑关于CBox的推理复杂性 | 第213-219页 |
| ·相关研究 | 第213-214页 |
| ·多米诺骨牌系统 | 第214-215页 |
| ·多米诺骨牌系统的ALC-CBox表示 | 第215-219页 |
| ·相关问题 | 第219-221页 |
| ·ALCIF-CBox有限模型推理算法 | 第221-230页 |
| ·受限子类型 | 第222-223页 |
| ·不等式系统 | 第223-226页 |
| ·计算复杂性与正确性 | 第226-230页 |
| ·ALCIQ-CBox有限模型推理算法 | 第230-236页 |
| ·ALCIQ受限子类型 | 第231-232页 |
| ·不等式系统 | 第232-234页 |
| ·计算复杂性和正确性 | 第234-236页 |
| ·总结 | 第236-237页 |
| 第十章 描述逻辑的整体结构扩展 | 第237-261页 |
| ·引言 | 第237-239页 |
| ·动机 | 第237-238页 |
| ·基本思路 | 第238-239页 |
| ·ALCIQ(WS)的语法和语义 | 第239-243页 |
| ·ALCIQ(WS)的语法 | 第239-241页 |
| ·ALCIQ(WS)的语义 | 第241-242页 |
| ·关于play关系的注释 | 第242-243页 |
| ·ALCIQ(WS)场景 | 第243-246页 |
| ·ALCIQ(WS)场景定义 | 第243-245页 |
| ·评注 | 第245页 |
| ·ALCIQ(WS)场景的性质 | 第245-246页 |
| ·ALCIQ(WS)推理算法 | 第246-256页 |
| ·基于完成树的推理算法 | 第246-248页 |
| ·play关系 | 第248页 |
| ·复合节点 | 第248-251页 |
| ·扮演者节点 | 第251-254页 |
| ·触发节点 | 第254-256页 |
| ·算法正确性 | 第256-259页 |
| ·讨论 | 第259-261页 |
| 第十一章 结束语 | 第261-265页 |
| ·本文主要贡献 | 第261-263页 |
| ·未来研究工作 | 第263-265页 |
| 作者在学期间取得的学术成果 | 第265-267页 |
| 致谢 | 第267-269页 |
| 参考文献 | 第269-285页 |
