
146 Foundations of Semantic Web Technologies
<owl:ObjectProperty rdf:about="hasAncestor">
<owl:propertyChainAxiom rdf:parseType="Collection">
<owl:ObjectProperty rdf:resource="hasAncestor" />
<owl:ObjectProperty rdf:about="hasAncestor" />
</owl:propertyChainAxiom>
</owl:ObjectProperty>
is equivalent to stating that the role hasAncestor is transitive.
4.3.1.6 Qualified Cardinality Restrictions
OWL 1 allows cardinality restrictions which are called unqualified, since
they do not allow us to declare the target class of the role onto which the
cardinality restriction is imposed. Have a look at the example on page 127,
which states that Exam is a subclass of