RE: Problems with dark triples approach

>-----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?