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. peterReceived on Friday, 12 January 2001 13:10:03 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:36 UTC