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