1 Reply Latest reply on May 23, 2008 2:04 PM by alwu-Oracle

    Why can't I have cardinality restrictions on a Transitive property?

      Hi All,

      The OWL Reference (http://www.w3.org/TR/owl-ref/#TransitiveProperty-def) speaks

      "OWL DL requires that[b] for a transitive property no local or global cardinality constraints should be declared on the property itself or its superproperties, nor on the inverse of the property or its superproperties."

      But I cannot think of a real reason or case for which this restriction is really needed on a transitive (or an inverse) property.

      Please throw some light on the topic.