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

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:47 UTC