a set of command line tools for OWL files based on owl-api