run.sh revision 1a10ac840725c1c1999b0cab11c27ebd305a9577
ac7cded6520be0acb464c9cedd87925452b727adChristian Maeder java -jar ../OWL2Parser.jar file://`pwd`/$i $i.omnm
db5892a4565665fcdfa9e4fa24fb18889430ea64Christian Maeder java -jar ../OWL2Parser.jar file://`pwd`/$i $i.omnm
8a9497c27679419c1665af2fe90cf404fb44d454Christian Maeder java -jar ../OWL2Parser.jar file://`pwd`/$i $i.omn2
8a9497c27679419c1665af2fe90cf404fb44d454Christian Maeder#rm -f *.pp.het *.th *.omn *.omn2