Comment Re:Natural Language Interface for Cyc (Score 2, Insightful) 195
Yes, we are. It will probably be published next week. OWL, specifically.
I have a theory that it's impossible to prove anything, but I can't prove it.
