Re: Bugs in 2000/12 daml+oil reference on DAML collections

There appears to be a type problem in the definition of DAML+OIL lists.  

The problem is that there is no way of typing a list.  For example,
Disjoint could be a list of anything---not necessarily a list of classes,
as we want/require.  Note that this problem is not confined to DAML+OIL as
RDF(S) itself has no (decent) mechanism for constraining the type of
collection elements.

DAML+OIL has a bigger problem, however, in Disjoint.  Disjoint is a
subclass of List.  Does this mean that the rest of a Disjoint should also
be a Disjoint?  This seems to make sense, but it can't be as lists have to
be terminated by a nil, which is not a Disjoint, just a List.

peter