W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2000

Re: A question about DAML lists

From: Dan Connolly <connolly@w3.org>
Date: Sun, 26 Nov 2000 21:13:06 -0600
Message-ID: <3A21D142.1941426E@w3.org>
To: Ian Horrocks <horrocks@cs.man.ac.uk>
CC: www-rdf-logic@w3.org
Ian Horrocks wrote:
> 
> Shouldn't "Empty" be of type "List"?

Yes... this is a bug. I thought I had fixed
it by now, but I guess not...

> Otherwise, lists can't be terminated
> by having "Empty" as the value of "rest" (which I presume is the
> intention), because the range of "rest" is "List". Given that this is the
> case, it is clear that "Empty" should not be equivalent to "Nothing".
> 
> Regards, Ian

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Sunday, 26 November 2000 22:13:16 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:32 UTC