W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2003

Re: recent tweaks to RDF semantics

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: 16 Jun 2003 08:41:42 +0100
To: pat hayes <phayes@ihmc.us>
Cc: rdf core <w3c-rdfcore-wg@w3.org>
Message-Id: <1055340765.2243.8.camel@localhost.localdomain>

On Wed, 2003-06-11 at 02:50, pat hayes wrote:
>   http://www.ihmc.us/users/phayes/RDF_Semantics_Edit_nT.html
> now has some tweaks which fix some bugs noted in recent emails.

Section 4.1 now states


1. Add all of the following triples which contain a name in V. These are
true in any rdf-interpretation.

rdf:nil rdf:type rdf:List .
rdf:subject rdf:type rdf:Property .
rdf:predicate rdf:type rdf:Property .
rdf:object rdf:type rdf:Property .
rdf:first rdf:type rdf:Property .
rdf:rest rdf:type rdf:Property .
rdf:value rdf:type rdf:Property . 
rdf:_1 rdf:type rdf:Property . 
rdf:_2 rdf:type rdf:Property .

I think the phrase "which contain a name in V" is intended to eliminate
the infinite set of triples for the the rdf:_nnn properties, but I
suggest the wording needs tweaking.  Each triple of the form:

  rdf:_nnn rdf:type rdf:Property

contains the names rdf:type and rdf:Property which are highly likely to
be in V, so it is highly likely that the infinite set will be included

I could suggest alternative wording, but refrain lest Pat find it rude.

Received on Monday, 16 June 2003 03:42:20 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:06 UTC