Mercurial > repos > mikel-egana-aranguren > oppl
view OPPL/oppl.sh @ 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 | 5255f1333cc4 |
children |
line wrap: on
line source
#!/bin/sh java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar oppl_galaxy_tool.jar test.owl test.oppl > test_new.owl