描述逻辑初探

今天看了一部分描述逻辑，看了好多个说法，里边仍然有好多不懂的词，有种万事开头难的感觉。

http://blog.sciencenet.cn/blog-794010-679141.html

描述逻辑（DL, Description Logics）：一种基于对象的知识表示的形式化工具，吸取了KL-ONE[A1] 的主要思想，是一阶谓词逻辑的一个可判定的子集。能够提供可判定的推理服务，并且具有语义特征。它被认为是以对象为中心的表示语言的最为重要的归一形式。从某种意义上说，描述逻辑是语义Web[A2] 的逻辑基础。描述逻辑建立在概念(concept)和角色(role即二元关系)之上，由构造算子(constructor)从简单概念和角色中构造出复杂概念和角色。

描述逻辑的重要特征是很强的表达能力和可判定性，它能保证推理算法总能停止，并返回正确的结果。描述逻辑有清晰的模型-理论机制;很适合于通过概念分类学来表示应用领域;并提供了很多有用的推理服务。

  一个描述逻辑表示知识库主要由TBox和ABox两部分组成。TBox定义了特定知识领域的结构并包含一系列公理，可以通过已有概念构成新的概念。ABox包含了TBox中概念的实例。

TBox[A3] 具有分类(Taxonomy)的能力，分类是系统化建立知识的第一步，通过分类的动作可以将事物的本体集合成共通的概念，这些概念又可组合成更广泛的概念。分类过程中，每一个类都有其属性和限制，，在分类的过程中可以建立类的限制式，限制式可以表达出类和类的关系，使用描述逻辑可以针对类的关系限制作描述。

 ABox[A4] 是实例断言的集合，用于指明个体的属性或个体之间的关系。由概念断言(如：student(Bob))和关系断言(如：hasMom(Bob, Nancy))组成。

 

---

 [A1]KL-ONE是语义网络和框架传统中的知识表示系统;这是一种框架语言。该系统试图克服语义网络表示中的语义模糊性并且将概念信息明确地表示为结构化继承网络。

KL-ONE创新之一是使用演绎分类器，这是一种自动推理引擎，可以验证帧（概念）本体，并根据领域专家提供的初始信息推断出有关本体的新信息。类似下文提到的TBox和ABox（？）

 [A2]基于网络建立任何微小数据的连接，这种连接不仅仅局限于网页。这样一来，任何微小的数据都可以与其他信息进行"沟通"。

核心是:通过给万维网上的文档 (如:标准通用标记语言下的一个应用HTML)添加能够被计算机所理解的语义"元数据"(外语:Meta data)，从而使整个互联网成为一个通用的信息交换媒介。

 [A3]类似于“类”

 [A4]类似于实例化一个对象