- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Wed, 29 Nov 2000 18:21:37 +0000 (GMT)
- To: Dan Connolly <connolly@w3.org>
- Cc: www-rdf-logic@w3.org
On November 26, Dan Connolly writes:
> 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".
I changed daml-oil so that we now have:
<List rdf:ID="Empty">
<rdfs:comment>
the empty list.
</rdfs:comment>
</List>
Ian
Received on Wednesday, 29 November 2000 13:20:27 UTC