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

Re: new version of semantic layering document

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

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:52 GMT