- From: Dan Connolly <connolly@w3.org>
- Date: Sun, 26 Nov 2000 21:13:06 -0600
- 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