- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 27 Sep 2002 01:09:55 -0500
- To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
- Cc: w3c-rdfcore-wg@w3.org
> >>Pat, I think I'm fine with that >>> >>>how can we express that >>>when given >>> _:l1 rdf:first :a . >>> _:l1 rdf:rest :b . >>> >>> _:l2 rdf:first :a . >>> _:l2 rdf:rest :b . >>> >>>then _:l1 and _:l2 are tidy >> >>Er...you can't. That is, there could be two lists with the same members. > >thus far I thought that 2 sequences with the same members >*are* the same sequence (i.e. the denoted thing is the same) >how could they ever be different, I mean semantically? By being different. I don't know quite how else to say it. That is, the sequences (of 'firsts') will be the same, but the lists could still be different. And that makes sense, because for example they might have other properties, such as who made them; or suppose they are lists of people in a building at some time. Could have same members but still be distinct. 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, 27 September 2002 02:09:41 UTC