@Test public void testRemoveRedundantSubClassAxiomsPreserveAnnotated() throws IOException, OWLOntologyCreationException { OWLOntology reasoned = loadOntology("/redundant_subclasses.owl"); OWLReasonerFactory reasonerFactory = new org.semanticweb.elk.owlapi.ElkReasonerFactory(); Map<String, String> options = new HashMap<String, String>(); options.put("remove-redundant-subclass-axioms", "true"); options.put("preserve-annotated-axioms", "true"); ReduceOperation.reduce(reasoned, reasonerFactory, options); assertIdentical("/without_redundant_subclasses.owl", reasoned); OWLOntology reasoned2 = loadOntology("/redundant_subclasses.owl"); Map<String, String> options2 = new HashMap<String, String>(); options2.put("remove-redundant-subclass-axioms", "true"); options2.put("preserve-annotated-axioms", "true"); options2.put("named-classes-only", "true"); ReduceOperation.reduce(reasoned2, reasonerFactory, options2); assertIdentical("/without_redundant_subclasses.owl", reasoned2); }
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);  }