Re: RDF lists

>>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?

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Friday, 20 September 2002 11:00:00 UTC