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
anyway.

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

Brian
Received on Monday, 16 June 2003 03:42:20 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:55 EDT