A utility for converting axioms in OWL ontologies to assertions