Added a util class and tests for minimizing ontology logical axiom changes.