Mercurial > repos > mikel-egana-aranguren > oppl
diff OPPL/README @ 6:3740505b579c
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 |
line wrap: on
line diff
--- a/OPPL/README Sat Sep 17 13:41:28 2011 +0200 +++ b/OPPL/README Sun Sep 18 12:35:18 2011 +0200 @@ -27,11 +27,6 @@ 6.- Start galaxy. -Note that if you want you can use any java parameter by editing oppl.xml -, eg: <command>java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 --jar ${__tool_data_path__}/shared/jars/oppl_galaxy_tool.jar $input $OPPL -$format > $output </command> - USAGE @@ -56,7 +51,7 @@ Choose which inferred axioms to add to the output ontology (Right now only subsumption is available). -Choose reasoner (Right now only Pellet is available). +FaCT++ and OWLLink support.