Re: recent tweaks to RDF semantics

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

No no no. YOu are listed as series editor, you ALWAYS get to make 
wording suggestions. I would be DELIGHTED.

Pat


-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes

Received on Monday, 16 June 2003 17:44:01 UTC