Re: new version of semantic layering document from Peter F. Patel-Schneider on 2002-09-23 (www-webont-wg@w3.org from September 2002)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 23 Sep 2002 07:56:34 -0400 (EDT)
To: phayes@ai.uwf.edu
Cc: www-webont-wg@w3.org
Message-Id: <20020923.075634.74186087.pfps@research.bell-labs.com>

Also, the unqualified claim that inference in fast OWL is the same as
inference in my semantics for the abstract syntax has resurfaced.  This
needs to be proven, and make take considerable effort.  As it stands right
now, with the extensionality condition in force, it is almost certainly
false. 

peter

Received on Monday, 23 September 2002 07:56:42 UTC