no need for reasoning options in parsing
a simple script to reparse ontologies