OWL language issue

• From: Ken Baclawski <kenb@ccs.neu.edu>
• Date: Fri, 10 Oct 2003 15:45:49 -0400 (EDT)
• To: <www-rdf-logic@w3.org>
• Message-ID: <Pine.LNX.4.33.0310101539150.17315-100000@steam.baclawski.com>

Both of the following are taken from the OWL Web Ontology Language
Reference http://www.w3.org/TR/2003/CR-owl-ref-20030818/

Section 4.4.1

"NOTE: OWL DL requires that for a transitive property no local or
global cardinality constraints should be declared on the property
itself or its subproperties, nor on the inverse of the property or its
subproperties."

Section 8.2

"OWL DL requires that no cardinality constraints (local nor global) can
be placed on transitive properties or their inverses or any of their
superproperties."

One speaks of "subproperties" and the other of "superproperties".
Which one is correct?

Ken Baclawski
Versatile Information Systems

Received on Friday, 10 October 2003 17:22:51 UTC