- From: pat hayes <phayes@ai.uwf.edu>
- Date: Thu, 15 Aug 2002 13:01:39 -0700
- 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 UTC