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

Re: RDF lists

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Fri, 20 Sep 2002 16:52:01 +0100
Message-Id: <5.1.0.14.2.20020920165122.044245c0@127.0.0.1>
To: pat hayes <phayes@ai.uwf.edu>
Cc: w3c-rdfcore-wg@w3.org

At 08:58 AM 9/20/02 -0500, pat hayes wrote:
>>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.

Aha, of course!  Thanks.

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Friday, 20 September 2002 11:36:54 EDT

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