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

Re: new version of semantic layering document

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 23 Sep 2002 16:17:28 -0500
Message-Id: <p05111b3eb9b534ee4a5a@[]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
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.

True, it needs to be checked carefully. Think of it as a strong 
conjecture at present.

>  As it stands right
>now, with the extensionality condition in force, it is almost certainly

Extensionality has been taken out: that sentence was an editing 
glitch. I agree that extensionality isnt supportable with the current 
OWL--> RDF translation style.


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Monday, 23 September 2002 17:17:20 UTC

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