@Test public void testInferIntoNewOntology() throws Exception { OWLOntology reasoned = loadOntology("/simple.owl"); OWLReasonerFactory reasonerFactory = new org.semanticweb.HermiT.ReasonerFactory(); Map<String, String> opts = new HashMap<>(); opts.put("create-new-ontology", "true"); opts.put("annotate-inferred-axioms", "true"); ReasonOperation.reason(reasoned, reasonerFactory, opts); assertEquals(2, reasoned.getAxiomCount()); }
public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); }
ReasonOperation { public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); } }
ReasonOperation { public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); }  }
ReasonOperation { public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); }  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); }
ReasonOperation { public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); }  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);  }