- 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>
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 UTC