17 Sep 2003
CS 6210: Module 6
7/21
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.