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.

peter

Received on Thursday, 30 May 2002 18:20:50 UTC