- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 20 Sep 2002 08:58:09 -0500
- To: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- 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))? 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. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Friday, 20 September 2002 09:58:13 UTC