I'd like to make a plug for my company (http://www.cyc.com) whose "AI" is not machine-learning based, does actual cognition and generalized symbolic reasoning, and lived through the AI winter of the 80s. We've gotten some contracts as a direct result of companies being disenchanted with Watson's capabilities.
I would like to ask you a question: over the years I experimented quite a bit with OpenCyc that you stopped distributing last year. Is ResearchCyc reasonable to experiment with on a small server of powerful laptop? Is an OWL version available?