Les références ci-après renvoient à quelques ouvrages intéressants.

 
• D.B. Lenat and R.V. Guha. Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project. Addison-Wesley, Reading, MA, 1990.

Ouvrage décrivant le développement de Cyc et les choix de représentation de connaissances correspondants.
Voir aussi le site de Cyc Corp.