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.