W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2003

Re: OWL language issue

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Sun, 12 Oct 2003 16:12:30 +0100
Message-ID: <16265.28510.908088.794349@merlin.horrocks.net>
To: Ken Baclawski <kenb@ccs.neu.edu>
Cc: <www-rdf-logic@w3.org>, www-webont-comments@w3.org, schreiber@cs.vu.nl, mdean@bbn.com

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
> 
Received on Sunday, 12 October 2003 11:14:55 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:47 GMT