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

RE: Problems with dark triples approach

From: Ziv Hellman <ziv@unicorn.com>
Date: Thu, 18 Apr 2002 20:04:26 +0300
Message-ID: <6194CD944604E94EB76F9A1A6D0EDD233800F7@calvin.unicorn.co.il>
To: "Pat Hayes" <phayes@ai.uwf.edu>, "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Cc: <www-webont-wg@w3.org>


>-----Original Message-----
>From: Pat Hayes [mailto:phayes@ai.uwf.edu]
>Sent: Thursday, 18 April, 2002 2:53
>To: Jeremy Carroll
>Cc: www-webont-wg@w3.org
>Subject: Re: Problems with dark triples approach
>
>>At this stage my assumption is that an adequate theory of 
>classes for the
>>semantic web will be a major research undertaking, on a par 
>with creating an
>>adequate set theory. I believe that the latter took about 30 years.
>
>More like 60, actually, if you go back to Frege.
>
>>Given
>>that we have the prior work to guide us, we may be able to 
>look for a factor
>>of 10 speed up.
>
>What this optimism doesn't take into account is that the search for a 
>fully adequate set theory was basically abandoned by most 
>philosophers of mathematics about 25 years ago. (For more on this 
>topic than anyone probably wants to know, subscribe to the FOM 
>mailing list.)
>


FOM? What is that?
Received on Thursday, 18 April 2002 13:05:09 GMT

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