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

>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