owlapitools - a set of independent add-ons for OWL API