CYC and the Semantic Web

¡ One company ¡ __________ ¡ First-order logic ¡ __________ ¡ __________

¡ Many companies ¡ _________ ¡ Left up to agent ¡ _________ ¡ _________

Will this work?  No one’s sure. Proponents say its just a matter of time.  Naysayers say we are revisiting the fundamental KR problems. BTW, CYCorp has put their ontology into the SW developmental efforts.