search

ontologyportal / sigmakee

Sigma Knowledge Engineering Environment
https://www.ontologyportal.org
GNU General Public License v3.0
103 stars 35 forks source link

TPTP transformation showing errors #49

Open arademaker opened 5 years ago

arademaker commented 5 years ago 
$ java -Xmx7g -classpath $SIGMA_CP com.articulate.sigma.trans.SUMOKBtoTPTPKB
Info in KBmanager.initializeOnce()
Info in KBmanager.initializeOnce(): initializing with /Users/ar/workspace/KBs
KBmanager.readConfiguration()
KBmanager.serializedExists(): true
KBmanager.serializedOld(config):
KBmanager.serializedOld(config): save date: Wed Jul 10 19:02:47 BRT 2019
Info in KBmanager.initializeOnce(): reading from sources
Info in KBmanager.setConfiguration():
Error in KBmanager.preferencesFromXML(): Adding: sumokbname SUMO
Error in KBmanager.preferencesFromXML(): Adding: testOutputDir /Users/ar/workspace/sumo/tests
Error in KBmanager.preferencesFromXML(): Adding: TPTPDisplay no
Error in KBmanager.preferencesFromXML(): Adding: inferenceEngine /Users/ar/workspace/E/PROVER/e_ltb_runner
Error in KBmanager.preferencesFromXML(): Adding: inferenceTestDir /Users/ar/workspace/sumo/tests
Error in KBmanager.preferencesFromXML(): Adding: baseDir /Users/ar/workspace
Error in KBmanager.preferencesFromXML(): Adding: hostname localhost
Error in KBmanager.preferencesFromXML(): Adding: logLevel warning
Error in KBmanager.preferencesFromXML(): Adding: systemsDir /Users/ar/workspace/sigma/sigma
Error in KBmanager.preferencesFromXML(): Adding: userBrowserLimit 25
Error in KBmanager.preferencesFromXML(): Adding: adminBrowserLimit 200
Error in KBmanager.preferencesFromXML(): Adding: https false
Error in KBmanager.preferencesFromXML(): Adding: SemRewrite /Users/ar/workspace/sumo/WordNetMappings/SemRewrite.txt
Error in KBmanager.preferencesFromXML(): Adding: eproverPath /Users/workspace/E/EPROVER/eprover
Error in KBmanager.preferencesFromXML(): Adding: nlpTools yes
Error in KBmanager.preferencesFromXML(): Adding: graphWidth 600
Error in KBmanager.preferencesFromXML(): Adding: typePrefix yes
Error in KBmanager.preferencesFromXML(): Adding: graphDir graph
Error in KBmanager.preferencesFromXML(): Adding: TPTP yes
Error in KBmanager.preferencesFromXML(): Adding: cache yes
Error in KBmanager.preferencesFromXML(): Adding: editorCommand
Error in KBmanager.preferencesFromXML(): Adding: graphVizDir /usr/bin
Error in KBmanager.preferencesFromXML(): Adding: kbDir /Users/ar/workspace/sumo
Error in KBmanager.preferencesFromXML(): Adding: loadCELT no
Error in KBmanager.preferencesFromXML(): Adding: celtdir
Error in KBmanager.preferencesFromXML(): Adding: lineNumberCommand
Error in KBmanager.preferencesFromXML(): Adding: prolog
Error in KBmanager.preferencesFromXML(): Adding: port 8080
Error in KBmanager.preferencesFromXML(): Adding: tptpHomeDir /Users/ar/workspace/sigma/sigma
Error in KBmanager.preferencesFromXML(): Adding: showcached no
Error in KBmanager.preferencesFromXML(): Adding: leoExecutable
Error in KBmanager.preferencesFromXML(): Adding: holdsPrefix no
Error in KBmanager.preferencesFromXML(): Adding: logDir /Users/ar/workspace/logs
Error in KBmanager.preferencesFromXML(): Bad tag: kb
...
arademaker commented 5 years ago

The content of my file is

<configuration >
  <preference name="sumokbname" value="SUMO" />
  <preference name="testOutputDir" value="/Users/ar/workspace/sumo/tests" />
  <preference name="TPTPDisplay" value="no" />
  <preference name="inferenceEngine" value="/Users/ar/workspace/E/PROVER/e_ltb_runner" />
  <preference name="inferenceTestDir" value="/Users/ar/workspace/sumo/tests" />
  <preference name="baseDir" value="/Users/ar/workspace" />
  <preference name="hostname" value="localhost" />
  <preference name="logLevel" value="warning" />
  <preference name="systemsDir" value="/Users/ar/workspace/sigma/sigma" />
  <preference name="userBrowserLimit" value="25" />
  <preference name="adminBrowserLimit" value="200" />
  <preference name="https" value="false" />
  <preference name="SemRewrite" value="/Users/ar/workspace/sumo/WordNetMappings/SemRewrite.txt" />
  <preference name="eproverPath" value="/Users/workspace/E/EPROVER/eprover" />
  <preference name="nlpTools" value="yes" />
  <preference name="graphWidth" value="600" />
  <preference name="typePrefix" value="yes" />
  <preference name="graphDir" value="graph" />
  <preference name="TPTP" value="yes" />
  <preference name="cache" value="no" />
  <preference name="editorCommand" value="" />
  <preference name="graphVizDir" value="/usr/bin" />
  <preference name="kbDir" value="/Users/ar/workspace/sumo" />
  <preference name="loadCELT" value="no" />
  <preference name="celtdir" value="" />
  <preference name="lineNumberCommand" value="" />
  <preference name="prolog" value="" />
  <preference name="port" value="8080" />
  <preference name="tptpHomeDir" value="/Users/ar/workspace/sigma/sigma" />
  <preference name="showcached" value="no" />
  <preference name="leoExecutable" value="" />
  <preference name="holdsPrefix" value="no" />
  <preference name="logDir" value="/Users/ar/workspace/logs" />
  <kb name="SUMO" >
    <constituent filename="/Users/ar/workspace/sumo/Merge.kif" />
    <constituent filename="/Users/ar/workspace/sumo/Mid-level-ontology.kif" />
    <constituent filename="/Users/ar/workspace/sumo/banana.kif" />
  </kb>
</configuration>