MaterializeOperation { public static void materialize( OWLOntology ontology, OWLReasonerFactory reasonerFactory, Set<OWLObjectProperty> properties, Map<String, String> options) throws OWLOntologyCreationException, OntologyLogicException { materialize(ontology, reasonerFactory, properties, options, true); }  static Map<String, String> getDefaultOptions(); static void materialize(
      OWLOntology ontology,
      OWLReasonerFactory reasonerFactory,
      Set<OWLObjectProperty> properties,
      Map<String, String> options); static void materialize(
      OWLOntology ontology,
      OWLReasonerFactory reasonerFactory,
      Set<OWLObjectProperty> properties,
      Map<String, String> options,
      boolean reasonOverImportsClosure);  }
@Test public void testMaterialize() throws IOException, OWLOntologyCreationException, OntologyLogicException { OWLOntology reasoned = loadOntology("/relax_equivalence_axioms_test.obo"); OWLReasonerFactory coreReasonerFactory = new ElkReasonerFactory(); Map<String, String> opts = ReasonOperation.getDefaultOptions(); MaterializeOperation.materialize(reasoned, coreReasonerFactory, null, opts); assertIdentical("/relax_equivalence_axioms_expressions_materialized.obo", reasoned); }