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


Graham Klyne
Received on Friday, 20 September 2002 11:36:54 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:00 UTC