#11 Cannot find inference engine?

[Alan Meech]

I installed on Windows XP in the My Documents directory and when I logged into the web application for the first time, a huge list of messages appear on the initial web page below the KB list. I have attached a scrape and copy of the whole page to this bug. The important part may be at the end:
Bad formula: [14013] (trichotomizingOn lessThan RealNumber)
Bad formula: [14014] (trichotomizingOn lessThanOrEqualTo RealNumber)

No local inference engine is available

I installed by unpacking sigma-2-02.zip in My Documents and since I have Tomcat running on demand (not as a service), I set the following environment variables:
CATALINA_HOME = C:\Documents and Settings\alanm\My Documents\Installs\apache-tomcat-5.5.23
CATALINA_OPTS = -Xms500M -Xmx1000M
JAVA_HOME = C:\Program Files\Java\jdk1.6.0_02
SIGMA_HOME = C:\Documents and Settings\alanm\My Documents\Knowledge\SumoInKif

When I look at the preferences in the web interface, the "Fully qualified path and name of the inference engine" value says "C:\Documents". (Actually, the test and TPTPWorld directories say the same thing.)

When I set the inference engine to "C:\Documents and Settings\alanm\My Documents\sigma-2-02\inference\kif.exe" and save, then look at the preferences again, it goes back to saying "C:\Documents". It won't take a value with spaces, which is a problem on Windows.

Workaround: Of course, I can park the directory under c:\temp like any sane windows user hitting the same problem. (Happens all the time.) When I move it to C:\temp, then set the value in preferences to "C:\temp\sigma-2-02\inference\kif.exe", I get more normal results.

Is there a better way to do this? Please advise.

[Alan Meech]

Error messages on initial page.