| 1.基于描述逻辑的语义Web知识推理研究 | 第1-59页 |
| 第一章 前言 | 第7-9页 |
| ·研究背景 | 第7-8页 |
| ·研究内容 | 第8页 |
| ·文章的组织结构 | 第8-9页 |
| 第二章 扩展描述逻辑ALC~+形式系统 | 第9-36页 |
| ·ALC~+的形式化公理体系 | 第9-13页 |
| ·描述逻辑ALC~+的语法 | 第9-10页 |
| ·描述逻辑ALC~+的语义 | 第10-11页 |
| ·描述逻辑ALC~+的公理及其解释说明 | 第11-13页 |
| ·描述逻辑ALC~+的基本性质 | 第13-27页 |
| ·ALC~+系统的可靠性和完全性 | 第27-36页 |
| 第三章 扩展描述逻辑ALC~+的概念可满足性问题 | 第36-47页 |
| ·概念可满足性问题 | 第36-45页 |
| ·ALC~+-tableau | 第37-39页 |
| ·构造ALC~+-tableau | 第39-41页 |
| ·ALC~+的Tableau-算法的性质 | 第41-45页 |
| ·其他的重要推理问题到概念可满足性问题的转化 | 第45-47页 |
| 第四章 Web本体语言OWL与扩展描述逻辑ALC+的关系 | 第47-51页 |
| ·Web本体语言OWL简介 | 第47-49页 |
| ·Web本体语言OWL的设计目标 | 第47页 |
| ·Web本体语言OWL的语法 | 第47-49页 |
| ·描述逻辑ALC~+与OWL的对映 | 第49-51页 |
| ·构造器的对映 | 第49-50页 |
| ·描述逻辑ALC+描述OWL中的部分公理 | 第50-51页 |
| 第五章 Web本体语言OWL描述的知识用ALC~+表示及推理的示例 | 第51-54页 |
| 结束语 | 第54-55页 |
| 参考文献 | 第55-59页 |
| 2. Research on Semantic Web knowledge reasoning based on description logic | 第59-121页 |
| Chapter 1 Preface | 第61-64页 |
| ·Background of Research | 第61-62页 |
| ·Content of Research | 第62-63页 |
| ·Structure and Framework of this Article | 第63-64页 |
| Chapter 2 Formal System of Extended Description Logic ALC~+ | 第64-94页 |
| ·Formal axiom system of ALC~+ | 第64-70页 |
| ·Syntax of ALC~+ | 第64-65页 |
| ·Semantics of ALC~+ | 第65-66页 |
| ·Axioms of ALC~+ and their interpretions | 第66-70页 |
| ·Basic Propeties of ALC~+ | 第70-84页 |
| ·Soundness and completeness of ALC~+ system | 第84-94页 |
| Chapter 3 Concept satisfiability problem of ALC~+ | 第94-108页 |
| ·Concept satisfiabilty problem | 第94-105页 |
| ·ALC~+-tableau | 第95-97页 |
| ·Constructing ALC~+-tableau | 第97-99页 |
| ·Property of ALC~+ Tableau-algorithm | 第99-105页 |
| ·Reduction Other important reasoning problem into concept satisfiability problem | 第105-108页 |
| Chapter4 Relation between Web ontology language OWL and ALC~+ | 第108-113页 |
| ·Brief introduction of Web Ontology Language OWL | 第108-111页 |
| ·Designing goal of Web Ontology Language OWL | 第108-109页 |
| ·Syntax of Web ontology language OWL | 第109-111页 |
| ·Mapping between ALC~+ and OWL | 第111-113页 |
| ·Mapping of constructors | 第111-112页 |
| ·ALC~+ dscribe the partial axioms of OWL | 第112-113页 |
| Chapter5 Example to use ALC~+ to represent and reason the knowledge to be described by OWL | 第113-116页 |
| Conclusion | 第116-117页 |
| Reference: | 第117-121页 |
| 3.描述逻辑研究综述 | 第121-173页 |
| 第一章 前言 | 第123-126页 |
| ·描述逻辑研究背景 | 第123页 |
| ·描述逻辑研究意义 | 第123-124页 |
| ·描述逻辑的发展过程 | 第124页 |
| ·描述逻辑的研究内容 | 第124-126页 |
| 第二章 基本描述逻辑ALC概述 | 第126-133页 |
| ·基本描述逻辑ALC(attributive concept description language with complements)的语法与语义 | 第126-127页 |
| ·基本描述逻辑ALC的知识库 | 第127-128页 |
| ·基本描述逻辑ALC中的推理 | 第128-132页 |
| ·基本描述ALC的推理过程 | 第129-131页 |
| ·用tableaux算法进行推理的例子 | 第131-132页 |
| ·ALC中的Tableaux算法的几个性质 | 第132页 |
| ·本章小结 | 第132-133页 |
| 第三章 描述逻辑与其他形式化方法的关系 | 第133-141页 |
| ·描述逻辑与语义网络的关系 | 第133-134页 |
| ·描述逻辑与框架系统表示法的关系 | 第134-136页 |
| ·框架理论 | 第134页 |
| ·框架定义及组成 | 第134-135页 |
| ·基于框架的知识库到描述逻辑表示的知识库的转换 | 第135-136页 |
| ·描述逻辑与概念图的关系 | 第136-139页 |
| ·简单概念图 | 第136-137页 |
| ·简单概念图到谓词逻辑的转换 | 第137-138页 |
| ·简单概念图与描述逻辑的关系 | 第138-139页 |
| ·描述逻辑与其他逻辑形式化的关系 | 第139-140页 |
| ·本章小结 | 第140-141页 |
| 第四章 描述逻辑的扩展 | 第141-147页 |
| ·经典描述逻辑扩展 | 第141-142页 |
| ·添加概念构造器进行扩展 | 第141页 |
| ·添加关系构造器进行扩展 | 第141-142页 |
| ·添加数量约束进行扩展 | 第142页 |
| ·描述逻辑的非经典扩展 | 第142-146页 |
| ·具体领域限制 | 第142-143页 |
| ·模态扩展 | 第143-144页 |
| ·添加时态算子进行扩展 | 第144-145页 |
| ·概率扩展及模糊扩展 | 第145页 |
| ·缺省扩展 | 第145-146页 |
| ·本章小结 | 第146-147页 |
| 第五章 描述逻辑的应用 | 第147-164页 |
| ·描述逻辑应用于概念建模 | 第147-150页 |
| ·概念建模的一些基本问题 | 第147-148页 |
| ·基本的描述逻辑建模 | 第148页 |
| ·描述逻辑建模中的几个问题 | 第148-150页 |
| ·软件工程领域 | 第150-154页 |
| ·LASSIE系统和CODEBASE系统 | 第150-152页 |
| ·CSIS和CBMS系统 | 第152-154页 |
| ·语义Web | 第154-163页 |
| ·语义Web的体系结构 | 第154-155页 |
| ·语义Web的关键技术 | 第155-156页 |
| ·语义Web标记语言 | 第156-157页 |
| ·语义Web上的本体表示语言 | 第157-159页 |
| ·OIL与描述逻辑的关系 | 第159-163页 |
| ·OIL的数据对象 | 第160页 |
| ·语义Web上的本体标记语言OIL到描述逻辑的转换 | 第160-163页 |
| ·本章小结 | 第163-164页 |
| 结束语 | 第164-165页 |
| 参考文献 | 第165-173页 |
| 4. Summary of Description Logic Research | 第173-231页 |
| Chapter 1 Preface | 第175-179页 |
| ·Background of the Description Logics Research | 第175页 |
| ·Meaning of the description logics research | 第175-176页 |
| ·Development of description logics | 第176-177页 |
| ·Research content of Description Logic | 第177-179页 |
| Chapter 2 Summary of ALC | 第179-187页 |
| ·Syntax and semantics of ALC(attributive concept description language with complements) | 第179-180页 |
| ·Knowledge based of Basic description logic ALC | 第180-181页 |
| ·Reasoning of basic description logic ALC | 第181-186页 |
| ·preduce of reasoning of basic description logic ALC | 第182-184页 |
| ·Reasoning example using tableaux algorithm | 第184-185页 |
| ·Several properties of Tableaux algorithm in ALC | 第185-186页 |
| ·Brief surmmary | 第186-187页 |
| Chapter 3 Relation between description logics and other formalism way | 第187-196页 |
| ·Relation between description logics and semantic networks | 第187-188页 |
| ·Relation between description logic and frame-based system representation | 第188-191页 |
| ·Frame theorieses | 第188-189页 |
| ·Frame definition and constitution | 第189-190页 |
| ·conversion from the knowledge base based on frame to that the knowledge base represented by describe logic | 第190-191页 |
| ·Relation between the description logics and the conceptual graphs | 第191-194页 |
| ·Simple conceptual graph | 第191-192页 |
| ·Mapping from simple conceptual graph to FOL | 第192-193页 |
| ·Relation between simple conceptual graph and description logic | 第193-194页 |
| ·Relation between description logic and other logical formalism | 第194-195页 |
| ·Breif summary | 第195-196页 |
| Chapter 4 Description logic's extension | 第196-203页 |
| ·Classical description logic extension | 第196-197页 |
| ·adding conceptual constructors to extend | 第196页 |
| ·adding role constructors to extend | 第196-197页 |
| ·adding number restriction to extens | 第197页 |
| ·Nonclassical extension to description logic | 第197-202页 |
| ·Concrete domain extension | 第197-199页 |
| ·Modal extension | 第199-200页 |
| ·adding temporal operator to extend | 第200-201页 |
| ·Probable extension and fuzzy extension | 第201页 |
| ·Default extension | 第201-202页 |
| ·Brief summary | 第202-203页 |
| Chapter 5 Application of description logic | 第203-223页 |
| ·Using description logic into conceptual model | 第203-207页 |
| ·Some basic problems of conceptual model | 第203-204页 |
| ·Basic description logic model | 第204-205页 |
| ·Several problems about description logical model | 第205-207页 |
| ·Software engineering domain | 第207-212页 |
| ·LASSIE system and CODEBASE system | 第208-209页 |
| ·CSIS and CBMS system | 第209-212页 |
| ·Semantic Web | 第212-222页 |
| ·System structure of semantic Web | 第212-213页 |
| ·key techniques of the semantic Web | 第213-215页 |
| ·Markup language of semantic Web | 第215-216页 |
| ·Ontological languages on semantics Web | 第216-219页 |
| ·Relation between OIL and description logics | 第219-222页 |
| ·Data object of OIL | 第219-220页 |
| ·coversion from the ontological markup language OIL in semantic Web to description logic | 第220-222页 |
| ·Brief summary | 第222-223页 |
| Conclusion | 第223-224页 |
| Reference | 第224-231页 |
