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 11:21:32 +0100
Message-Id: <5.1.0.14.2.20020920111912.03c82920@127.0.0.1>
To: pat hayes <phayes@ai.uwf.edu>
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))?

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Friday, 20 September 2002 07:19:37 EDT

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