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

A question about DAML lists

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Sun, 26 Nov 2000 21:31:42 +0000 (GMT)
To: www-rdf-logic@w3.org
Message-ID: <Pine.LNX.4.21.0011262130340.30926-100000@galahad.cs.man.ac.uk>
Shouldn't "Empty" be of type "List"? 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
Ian Horrocks, Department of Computer Science,
University of Manchester, Oxford Road, Manchester, M13 9PL, UK.
Tel: +44 161 275 6133  Fax: +44 161 275 6204  Email: horrocks@cs.man.ac.uk
WWW: http://www.cs.man.ac.uk/~horrocks
Received on Sunday, 26 November 2000 16:30:41 UTC

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