Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/inference.xml @ 14:68c4ae500a13

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
XML files changed for more flexible inputs (oppl, query and inference)
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sat, 31 Mar 2012 12:54:09 +0200
parents 6ca67b155e32
children c9e01f86b07c
comparison
equal deleted inserted replaced
13:7e6604a5ee55 14:68c4ae500a13
6 <command> 6 <command>
7 java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/inference.jar $input $reasoner $axioms > $output 7 java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/inference.jar $input $reasoner $axioms > $output
8 </command> 8 </command>
9 9
10 <inputs> 10 <inputs>
11 <param format="text" name="input" type="data" label="Input ontology file"/> 11 <param name="input" type="data" label="Input ontology file"/>
12 <param name="reasoner" type="select" label="Choose reasoner"> 12 <param name="reasoner" type="select" label="Choose reasoner">
13 <option value="Pellet" selected="true">Pellet</option> 13 <option value="Pellet" selected="true">Pellet</option>
14 <option value="HermiT">HermiT</option> 14 <option value="HermiT">HermiT</option>
15 <option value="FaCTPlusPlus">FaCT++</option> 15 <option value="FaCTPlusPlus">FaCT++</option>
16 </param> 16 </param>