ReasonOperation { public static void removeRedundantSubClassAxioms(OWLReasoner reasoner) { removeRedundantSubClassAxioms(reasoner, null); }  static Map<String, String> getDefaultOptions(); static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory); static void reason(
      OWLOntology ontology, OWLReasonerFactory reasonerFactory, Map<String, String> options); static OWLReasoner getTautologyChecker(boolean structural); static boolean isTautological(
      OWLAxiom axiom, OWLReasoner tautologyChecker, boolean structural); static void removeRedundantSubClassAxioms(OWLReasoner reasoner); static void removeRedundantSubClassAxioms(
      OWLReasoner reasoner, Map<String, String> options);  }
@Test public void testRemoveRedundantSubClassAxioms() throws Exception { OWLOntology reasoned = loadOntology("/redundant_subclasses.owl"); OWLReasonerFactory reasonerFactory = new org.semanticweb.elk.owlapi.ElkReasonerFactory(); ReasonOperation.reason(reasoned, reasonerFactory, Collections.emptyMap()); assertIdentical("/redundant_subclasses.owl", reasoned); Map<String, String> options = new HashMap<>(); options.put("remove-redundant-subclass-axioms", "true"); reasoned = loadOntology("/redundant_subclasses.owl"); ReasonOperation.reason(reasoned, reasonerFactory, options); assertIdentical("/without_redundant_subclasses.owl", reasoned); }