W3C home > Mailing lists > Public > public-owl-wg@w3.org > May 2009

error in RDF TR on rdf:predicate

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 12 May 2009 23:18:45 -0400 (EDT)
Message-Id: <20090512.231845.254228774.pfps@research.bell-labs.com>
To: public-owl-wg@w3.org
I believe that I have found an error in http://www.w3.org/TR/rdf-schema/
at http://www.w3.org/TR/rdf-schema/#ch_predicate (even though I suppose
that it actually is permissable in RDF to be in this strange state).

--------------------------

5.3.3 rdf:predicate

rdf:predicate is an instance of rdf:Property that is used to state the
predicate of a statement.

A triple of the form:

    S rdf:predicate P

states that S is an instance of rdf:Statement, that P is an instance of
rdf:Property and that the predicate of S is P.
^^should be rdf:Resource

The rdfs:domain of rdf:predicate is rdf:Statement and the rdfs:range is
rdfs:Resource. 

--------------------------

The strange thing is that this was explicitly changed to conform with the
RDF Semantics, but the change wasn't fully carried through.  Even
stranger, it appears that the change probably should have been made the
other way!

peter

PS:  Of course, the strangest part of all this is that I found this when
     researching a response to one of Jeremy Carroll's 666 lmLCCs.

PPS:  Maybe even stranger is the fact that a similar issue crept into
      the OWL 2 RDF-Base Semantics.
Received on Wednesday, 13 May 2009 03:18:00 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:12 UTC