W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2001

rdfs-transitive-subSubProperty

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Tue, 28 Aug 2001 14:29:27 +0100
Message-ID: <3B8B9CB7.870BD210@hplb.hpl.hp.com>
To: stefan@db.stanford.edu
CC: www-rdf-comments@w3.org
Stefan,

In

  http://lists.w3.org/Archives/Public/www-rdf-interest/2001Jan/0176.html

You raised an issue concerning the transitivity of subProperties of 
transitive properties.

RDFCore has resolved this issue which is documented at:

  http://www.w3.org/2000/03/rdf-tracking/#rdfs-transitive-subSubProperty

Resolution: The WG decided that a subProperty of a transitive property need not
be
transitive. Jan Grant provided an easy to understand counter example. ancestorOf
is a
transitive property. parentOf is a subProperty of ancestorOf. parentOf is not
transitive.

The issue has been closed.

I you have any comments on the resolution, please send them to
www-rdf-comments@w3.org.

Brian McBride
RDFCore co-chair
Received on Tuesday, 28 August 2001 09:32:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:28 GMT