W3C home > Mailing lists > Public > www-rdf-rules@w3.org > February 2007

RE: AtomList infinite or cyclic in all models

From: Lynn, James (Software Escalations) <james.lynn@hp.com>
Date: Wed, 21 Feb 2007 17:15:40 -0500
Message-ID: <5A5CC5E87DE62148845CC96C8868900E094EE48A@ataexc02.americas.cpqcorp.net>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:46:20 UTC