- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Sun, 12 Oct 2003 16:12:30 +0100
- 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 UTC