CYC and the Semantic Web
¡ One company
¡ Centralized
¡ First-order logic
¡ Complex KR
language
¡ Authoritative data
¡ Many companies
¡ Distributed
¡ Left up to agent
¡ Simple KR
language
¡ Noisy data
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.