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 DennyReceived on Tuesday, 26 February 2002 09:15:51 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:49 GMT