W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

Re: layering (5.3,5.10): a same-syntax model theory

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 30 May 2002 18:09:51 -0400
To: connolly@w3.org
Cc: phayes@ai.uwf.edu, www-webont-wg@w3.org
Message-Id: <20020530180951L.pfps@research.bell-labs.com>

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.

Received 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