W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2002

Re: RDF lists

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 20 Sep 2002 08:58:09 -0500
Message-Id: <p05111b18b9b0d9812ff8@[65.217.30.172]>
To: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Cc: w3c-rdfcore-wg@w3.org

>Looks fine to me.
>
>You say...
>
>At 05:39 PM 9/19/02 -0500, pat hayes wrote:
>>We note in passing that this semantics requires that the universe 
>>IR is closed under the operation of constructing lists.
>
>... which seems entirely reasonable, but I couldn't be sure formally 
>why this is required.  Is it that ICEXT(x) is always a subset of IR, 
>hence ICEXT(I(rdf:List))?

Right. But also we want to be sure that all the lists we can possibly 
mention also exist, because otherwise a graph describing a list might 
be false because the interpretation just doesn't happen to have a 
suitable list handy.

Pat


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Friday, 20 September 2002 09:58:13 EDT

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