error in RDF TR on rdf:predicate

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