- From: Lynn, James (Software Escalations) <james.lynn@hp.com>
- Date: Wed, 21 Feb 2007 17:15:40 -0500
- To: "Pat Hayes" <phayes@ihmc.us>, "Henry S. Thompson" <ht@inf.ed.ac.uk>
- Cc: <www-rdf-rules@w3.org>
-----Original Message----- From: www-rdf-rules-request@w3.org [mailto:www-rdf-rules-request@w3.org] On Behalf Of Pat Hayes Sent: Wednesday, February 21, 2007 17:02 PM To: Henry S. Thompson Cc: www-rdf-rules@w3.org Subject: Re: AtomList infinite or cyclic in all models >> So a collection ends when you find rdf:nil as the value of rdf:rest (no matter what else might be in the description); rdf:nil is an atom, if you like, but it's not an *element* of the collection unless its the value of rdf:first on some subcollection before the first rdf:nil value of an rdf:rest. << So this clears up the whole problem of disjoint lists both having an element in common (i.e. rdf:nil), right? Jim
Received on Wednesday, 21 February 2007 22:15:53 UTC