@Test public void testELK() throws Exception { OWLOntology reasoned = loadOntology("/simple.owl"); OWLReasonerFactory reasonerFactory = new ElkReasonerFactory(); ReasonOperation.reason(reasoned, reasonerFactory); assertIdentical("/simple_elk.owl", reasoned); }
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);  }