equivalent domain & range

Is there a way in DAML+OIL to simply specify that the domain and the range
of a superslot are equivalent, so that when a subslot is applied to a class,
its range is implicitly restricted to this same class?  (I guess this would
be a form of property overloading.)  Thanks for the help.

Michael Denny

Received on Tuesday, 26 February 2002 09:15:51 UTC