@Test public void testReduceGci() throws IOException, OWLOntologyCreationException { OWLOntology reasoned = loadOntology("/reduce_gci_test.obo"); OWLReasonerFactory reasonerFactory = new org.semanticweb.elk.owlapi.ElkReasonerFactory(); Map<String, String> options = new HashMap<String, String>(); options.put("remove-redundant-subclass-axioms", "true"); ReduceOperation.reduce(reasoned, reasonerFactory, options); assertIdentical("/reduce_gci_reduced.obo", reasoned); }
public static void reduce(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OWLOntologyCreationException { reduce(ontology, reasonerFactory, getDefaultOptions()); }
ReduceOperation { public static void reduce(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OWLOntologyCreationException { reduce(ontology, reasonerFactory, getDefaultOptions()); } }
ReduceOperation { public static void reduce(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OWLOntologyCreationException { reduce(ontology, reasonerFactory, getDefaultOptions()); }  }
ReduceOperation { public static void reduce(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OWLOntologyCreationException { reduce(ontology, reasonerFactory, getDefaultOptions()); }  static Map<String, String> getDefaultOptions(); static void reduce(OWLOntology ontology, OWLReasonerFactory reasonerFactory); static void reduce(
      OWLOntology ontology, OWLReasonerFactory reasonerFactory, Map<String, String> options); }
ReduceOperation { public static void reduce(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OWLOntologyCreationException { reduce(ontology, reasonerFactory, getDefaultOptions()); }  static Map<String, String> getDefaultOptions(); static void reduce(OWLOntology ontology, OWLReasonerFactory reasonerFactory); static void reduce(
      OWLOntology ontology, OWLReasonerFactory reasonerFactory, Map<String, String> options);  }