Re: OWL language issue

On October 10, Ken Baclawski writes:
> 
> 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?

Thanks for pointing out the problems. Section 8.2 is correct. Section
4.4.1 needs to be changed to refer to superproperties.

Ian


> 
> Ken Baclawski
> Versatile Information Systems
>