《语义网与数字图书馆》:
OWL中提供了大量的类构造算子(类约束)来建立表达式,譬如,并集(union of)、交集(intersection of)、补集(complement of)等。OWL中的属性(property)有两种:数据类型属性(datatype property)和对象属性(object property),前者采用XML Schema中的所有数据类型进行属性的定义与表达;后者则采用对称属性(symmetric)、函数属性(functional)、反函数属性(inverse functional)、逆属性(inverse of)、传递属性(transitive)等属性公理进行定义和约束,用于描述概念间分类化、层次化的继承关系以及相互间的关联关系。此外,OWL还能对一个类某个属性的取值进行约束,包括任意值约束(all values from)、存在值约束(some values from)和取值个数约束(cardinality、minCardinality、maxCardinality),每个类不同的特性由属性约束出来,不同的属性约束可表示该类需要呈现的知识。因此,OWL强大的表达能力正是由它所支持的概念、属性以及各种公理所决定的,通过对概念及其相互间关系的描述,构成概念的复杂关系网络。
知识表达能力强的复杂语言通常会带来更多的计算复杂性,甚至是推理的不可判定性。OWL语言设计的核心是在语言表达能力和推理能力之间找到一个合适的平衡。
……