>> The article is a very good review of Symbolic AI, in general, not just Cyc.

As a "review of symbolic AI" I found it uninformed and superficial and felt that it rehashed the same old points about how symbolic AI "failed", which are disputed by the facts; specifically the fact that major symbolic AI fields like SAT solving, automated theorem proving and planning and scheduling are still going strong and have produced real-world results, so much so that e.g. SAT solving, Planning, program verification, and automated theorem proving aren't even considered "AI" anymore because they now actually work, and work very well indeed.