OpenCyc Technology - Formalizing Knowledge

I have been wanting to blog this for a while now.  I should really try to post some of the goodies that I have found on programmable language-resources on the web.  I would also like to elicit you guys to point out more sites and libraries, especially if they happen to support a Ruby API :-)

 

OpenCyc is an OSS system that can be used to formalize common sense reasoning within an inference engine.  The best thing is the wealth of data that comes with it.  Here is the documentation, and a brief summary of its capabilities.

--
Chiaroscuro