OWL与描述逻辑

描述逻辑(DescriptionLogic)是基于对象的知识表示的形式化，它吸取了KL-ONE的主要思想，是一阶谓词逻辑的一个可判定子集。

描述逻辑的重要特征是很强的表达能力和可判定性，它能保证推理算法总能停止，并返回正确的结果。在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注，主要原因在于：它们有清晰的模型-理论机制；很适合于通过概念分类学来表示应用领域；并提供了很多有用的推理服务。

描述逻辑建立在概念(concept)和角色(role即二元关系)之上，由构造算子(constructor)从简单概念和角色中构造出复杂概念和角色。例如我们定义Person、Female为原子概念，hasChild为原子角色,那么Person∩Female就可以构成新的Woman概念,如果有公理Woman≡Person∩Female，从而Woman∩hasChild.Person就可以构成新的Mothers概念。

下图给出了描述逻辑中的构造算子及语义：

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

    TBox具有分类(Taxonomy)的能力，分类是系统化建立知识的第一步，通过分类的动作可以将事物的本体集合成共通的概念，这些概念又可组合成更广泛的概念，例如“快速排序”和“选择排序”共通的类别为“排序”，“排序”就是一个上层概念，而“排序”和“递归”又推演出“算法”这个上层概念，在这个分类过程中，每一个类都有其属性和限制，在分类的过程中可以建立类的限制式，这些限制式可以表达出类和类的关系，使用描述逻辑可以针对类的关系限制作描述。

    ABox是实例断言的集合，用于指明个体的属性或个体之间的关系。由概念断言(如：student(Bob))和关系断言(如：hasMom(Bob,Nancy))组成。简单的讲，ABox是将与TBox中的类相对应的实例填入，所建立的实例要符合TBox中类设计的限制和属性，这些类的实体（individual）称为实例（instance），由这些实例可以将原来只具有概念的架构，组合为可以表现实体知识关系的架构。例如Problem_001为一个实体，若建立在“题目”这个类中，则Problem_001是这个类的实例，这个实例必须符合所有“题目”类的特性和限制。

    描述逻辑作为一种知识表示方法，它不但可以表示领域中的知识，也具有推理机制，能够推导出隐含的知识。在描述逻辑中的推理分成概念推理和实例检测两种。概念推理包括判定概念的一致性（可满足性）、包含关系、等价关系和不相交性等；实例检测指判定一个给定的个体是否是一个给定概念的实例。

    一般而言，所有的推理问题都可以归结为一致性检测(或称为可满足性检测)。例如对于描述逻辑知识库KB (T, A)（其中T表示TBox，A表示ABox），包含性检测C咲即是要对C∩﹁D作一致性检测，也即C咲成立，当且仅当C∩﹁D在KB (T,A)中是不一致的。

在描述逻辑推理应用方面，现已有Racer、FaCT++等实用的DL推理机，DL推理机可以推导出两个概念之间的包含关系，并完成一致性检验。

使用描述逻辑具有如下特点：

l        知识结构不被破坏，将类和实体分开。

l        具有较好的推理能力，若描述相同的事实，使用描述逻辑比其他方法容易许多，而且可以专注于类的关系进行推理。

因此通过层次的关系可以使知识的表示更具有结构化，将类和实体分离的架构也易于推理，通过以类为基础的推理可以将类中约束的隐含关系挖掘出来；另外，通过描述逻辑可以表示类间复杂的关系，包含交集、并集、基数等关系。

    描述逻辑可以呈现层次性的架构，具有类（class）和实例（instance）的概念也就是Tbox/Abox，但是以描述逻辑表示的知识跟基于XML的文件相比难以被解析和传输，若没有特定的推理引擎无法解析描述逻辑语言，因此使用上有很多的限制。以描述逻辑表示的知识库较难被重用和共享，并且支持描述逻辑的平台也不多，若能够将描述逻辑的概念与基于XML描述的本体表示方式相结合，则可以解决上述问题，较容易的实现重用和共享。

根据不同的应用环境，描述逻辑有许多变种，OWL就是基于其中一类SHIQ的描述逻辑。OWL中的概念由类(Class)来表示，它可以是名字(如URI)或表达式，而且提供大量的构造子来建立表达式，OWL强大的表达能力正是由它所支持的概念构造子、属性构造子以及各种公理所决定的。

描述逻辑是OWL的基础，它为基于框架(Frame)、语义网络和面向对象等知识表示方法提供了逻辑基础。

OWL对于客观世界的描述主要从概念和属性两个方面进行，与其相应的描述手段是面向对象域(Object Domain)的方式和面向数据类型域(Datatype Domain)的方式。面向对象域的描述方式采用RDPS和OWL自身的句法进行，用于描述概念间分类化、层次化的继承关系以及相互问的关联关系；在进行面向数据类型域的描述时，OWL支持XML Schema的所有数据类型进行概念属性的定义与表达。因此，OWL通过对概念、概念属性及其相互关系的描述，构成概念的复杂关系网络。

OWL是以描述逻辑为逻辑基础的本体语言,也就意味着OWL中的类构造算子（类约束）及公理具有与描述逻辑相应地表示。表3.2给出了OWL中的类构造算子（类约束）与描述逻辑语法的对应关系。通过描述逻辑来表示类与类之间的关系。这些约束可以一个到多个混合使用，来表达类的组成概念。

OWL 元素	描述逻辑语法	举例
Thing	T	I1, I2…
intersectionOf	C1∩…∩Cn	C = intersectionOf(C1…Cn)
unionOf	C1∪…∪Cn	C = unionOf(C1…Cn)
complementOf	C	C = complementOf(C1)
oneOf	{X1...X2}	C = one of (v1...vn )
someValuesFrom		P(x,y) and y = someValuesForm(C)
allvalueFrom		P(x,y) and y = allValuesForm(C)
hasValue		P(x,y) and y = hasValue(v)
minCardinality	≤nP	minCardinality(P) = N
maxCardinality	≥nP	maxCardinality(P) = N

 OWL类构造算子与描述逻辑的对应

l        Thing：OWL 的根节点，许多本体的起始点都由thing开始，再由thing 展开到其它类。

l        intersectionOf：类之间具有交集的关系，表示and的意思。例如：Boy＝Male∩children。

l        unionOf：类之间具有并集的关系，表示or的意思。在多个类中只要符合一个就可以。

l        complementOf：类之间具有补集的关系,表示not的意思。这个类不属于下列类，例如琝\ Male表示非男性，若性别选择只有两个非男性就一定是女性，但若选择不只一个表示可能是剩下的任一选择。

l        oneOf：类的值为集合范围中的一个，例如{A、B}表示类的值需从A和B选择一个。

l        someValuesFrom：表示类中有部分的成员具有下列特性，但不是全部的成员皆有。例如. hasChild.Customer，表示部分客户有小孩。

l        allvalueFrom：表示该类中全部的成员都具有下列特性，例如： hasChild.Costomer，表示所有的客户都有小孩。

l        hasValue：表示该类的成员具有下列特性，例如hasChild.Doctor，表示医生有小孩。但这个约束方式不同于allValue和someValue，约束性较弱。

l        minCardinality：表示该类具有至少n个特性，只能超过但不能不足，例如≥1hasChild 表示至少要有一个小孩，制定本体时很多约束属于必要条件，至少要有一个关系才能成立时，就可以使用这个约束条件。

l        maxCardinality：表示该类至多具有n个特性，只能少于但不能超过。例如≤3hasChild表示最多有三个小孩，可以是0,1,2,3的任一个数目。

l        除了类与类之间的关系之外，OWL对公理（axiom）也提供了很多约束，这些约束主要是属性（property）和类（class）的约束，每个类不同的特性都是由属性约束出来，不同的属性约束可表示该类需要呈现的知识，OWL可表示的属性为数据属性（datatype property）和对象属性(object property)，其中对象属性专用的axiom有inverseOf，Symmetric，Functional，Inverse，Transitive。下表是OWL公理与描述逻辑语法的对应：

Axiom	描述逻辑语法	举例
subClassOf
equivalentClass		C1=C2
disjointWith		C1！=C2
sameIndividualAs		I1= I2
differentFrom		I1!=I2
subPropertyOf
equipmentProperty
inverseOf		If P1(x, y) then P2(y, x)
transitive		If P(x, y) and P(y, z) then P(x,z)
symmetric		If P(x, y) then P(x, y)
functional		If P(x, y) and P(x, z) then y = z
inverseFunction		If P(y, x) and P(z, x) then y = z

 OWL的Axioms的描述逻辑的对应