From: Peter F. Patel-Schneider (firstname.lastname@example.org)
As promised, I have a new version of the semantics for DAML+OIL. It is enclosed below. The ONLY substantive changes are the last two lines, which read <domain,?P,?C> if <x,y> in IR(?P) then x in IC(?C) <range,?P,?C> if <x,y> in IR(?P) then y in IC(?C) NOTE: This does not correspond to the current RDFS intended meaning for these constructs.
This archive was generated by hypermail 2.1.4 : 04/02/02 EST