comparison 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
comparison
equal deleted inserted replaced
5:68935f90c2db 6:3740505b579c