14、《OWL与规则知识表示：原理、工具与应用》

《OWL与规则知识表示：原理、工具与应用》

1. OWL QL与OWL2新特性

OWL QL专为知识库ABox大小的LOGSPACE内进行合理且完整的推理而设计，因此对于具有大型ABox的OWL知识库非常有用。不过，它和OWL RL一样，存在一些语法限制以及对支持的建模原语的限制。例如，OWL QL不支持传递、函数和逆函数属性，个体的相等性（owl:sameAs）也不直接支持，但可以通过一些预处理来处理。

OWL2引入了几个重要的新建模原语，下面为你详细介绍：
- 限定基数限制 ：OWL2支持对与范围约束相关的属性进行数量限制的类构造函数。这种限制指定了最小（owl:minQualifiedCardinality）、最大（owl:maxQualifiedCardinality）或精确（owl:qualifiedCardinality）的限定基数限制。例如，pizza:InterestingPizza被定义为具有至少三个不同的pizza:PizzaTopping实例作为pizza:hasTopping属性值的pizza:Pizza实例。
- 新属性公理原语 ：
- owl:AsymmetricProperty ：指定对象属性是不对称的。例如，如果一个人A是另一个人B的父亲，那么B不能是A的父亲。
- owl:ReflexiveProperty ：指定对象属性是自反的，即它将一个个体与自身连接起来。例如，对于自反属性:partOf，知识库中的每个个体a都满足:partOf(a,a)。
- owl