- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Fri, 20 Sep 2002 11:21:32 +0100
- 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 UTC