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

Re: comments on issue 5.19 (classes as instances) and 4.6 (equivalentTo)

From: pat hayes <phayes@ai.uwf.edu>
Date: Thu, 15 Aug 2002 13:01:39 -0700
Message-Id: <p05111b07b981b86c5b98@[65.212.118.249]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-webont-wg@w3.org

>From: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
>Subject: Re: comments on issue 5.19 (classes as instances) and 4.6 
>(equivalentTo)
>Date: Tue, 30 Jul 2002 10:01:06 +0200
>
>[...]
>
>>  Is there anything fundamentally wrong with the approach taken in the RDF
>  > model theory?
>
>You mean aside from paradoxes?

There are no paradoxes in RDFS, and such paradoxes that have arisen 
in DAML+OWL layering are due to inappropriate layering strategies, 
not the RDFS model theory. Please stop implying that there is 
something paradoxical about nonwellfoundedness; that is a 
foundational issue which was resolved about 15 years ago. There is a 
relative consistency proof for NWFST against ZF.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Thursday, 15 August 2002 16:24:08 GMT

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