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