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

Re: A question about DAML lists

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Wed, 29 Nov 2000 18:21:37 +0000 (GMT)
Message-ID: <14885.18737.382712.663997@galahad.cs.man.ac.uk>
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

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