@Test public void testReduceDomainCase() throws IOException, OWLOntologyCreationException { OWLOntology reasoned = loadOntology("/reduce-domain-test.owl"); OWLReasonerFactory reasonerFactory = new org.semanticweb.elk.owlapi.ElkReasonerFactory(); Map<String, String> options = new HashMap<String, String>(); ReduceOperation.reduce(reasoned, reasonerFactory, options); assertIdentical("/reduce-domain-test.owl", 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);  }