Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/README @ 6:3740505b579c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added reasoner option: Pellet or HermiT
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sun, 18 Sep 2011 12:35:18 +0200
parents 68935f90c2db
children 40adbcb2a7cc
comparison
equal deleted inserted replaced
5:68935f90c2db 6:3740505b579c
25 <tool file="OPPL/oppl.xml"/> 25 <tool file="OPPL/oppl.xml"/>
26 </section> 26 </section>
27 27
28 6.- Start galaxy. 28 6.- Start galaxy.
29 29
30 Note that if you want you can use any java parameter by editing oppl.xml
31 , eg: <command>java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000
32 -jar ${__tool_data_path__}/shared/jars/oppl_galaxy_tool.jar $input $OPPL
33 $format > $output </command>
34
35 30
36 31
37 USAGE 32 USAGE
38 ===== 33 =====
39 34
54 ================= 49 =================
55 50
56 Choose which inferred axioms to add to the output ontology (Right now 51 Choose which inferred axioms to add to the output ontology (Right now
57 only subsumption is available). 52 only subsumption is available).
58 53
59 Choose reasoner (Right now only Pellet is available). 54 FaCT++ and OWLLink support.
60 55
61 56
62 57
63 TESTS 58 TESTS
64 ===== 59 =====