- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Sun, 26 Nov 2000 21:31:42 +0000 (GMT)
- To: www-rdf-logic@w3.org
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