Due to me having to use a university laptop, I don’t have total rights to the computer. Thus, when I tried to install OpenCyc, I couldn’t due to a missing Java library.
I am trying to use OpenCyc as my logical inference engine. I’m not sure about the speed of it, but I was going to start with it seeing as i’m most familiar with it.
Alas, I will try this Mandarax or Prova library. It may prove to be all I need. And I can always include Cyc later.