Yes, but your semantic sides are if-then, whereas the DAML+OIL model theory semantic sides are (generaly, and maybe always) only the then part of a condition. Very different. peterReceived on Thursday, 30 May 2002 18:20:50 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT