You
cannot use owl:cardinality
with
TransitiveProperty.
You
cannot use a class as a
member
of another class, i.e.,
you
cannot have metaclasses.
FunctionalProperty
and
InverseFunctionalProperty
cannot
be used with datatypes
(they
can only be used with
ObjectProperty).
All
the DL restrictions plus:
You
cannot use owl:minCardinality
or
owl:maxCardinality.
The
only allowed values for
owl:cardinality
is 0 and 1.
Cannot
use owl:hasValue.
Cannot
use owl:disjointWith.
Cannot
use owl:oneOf.
Cannot
use owl:complementOf.
Cannot
use owl:unionOf.