@Test public void testInconsistentOntology() throws IOException, IncoherentTBoxException, IncoherentRBoxException { OWLOntology ontology = loadOntology("/inconsistent.owl"); OWLReasonerFactory reasonerFactory = new org.semanticweb.elk.owlapi.ElkReasonerFactory(); OWLReasoner reasoner = reasonerFactory.createReasoner(ontology); boolean isCaughtException = false; try { ReasonerHelper.validate(reasoner); } catch (InconsistentOntologyException e) { isCaughtException = true; } assertTrue(isCaughtException); }
public static void validate(OWLReasoner reasoner) throws IncoherentTBoxException, InconsistentOntologyException, IncoherentRBoxException { validate(reasoner, null, null); }
ReasonerHelper { public static void validate(OWLReasoner reasoner) throws IncoherentTBoxException, InconsistentOntologyException, IncoherentRBoxException { validate(reasoner, null, null); } }
ReasonerHelper { public static void validate(OWLReasoner reasoner) throws IncoherentTBoxException, InconsistentOntologyException, IncoherentRBoxException { validate(reasoner, null, null); }  }
ReasonerHelper { public static void validate(OWLReasoner reasoner) throws IncoherentTBoxException, InconsistentOntologyException, IncoherentRBoxException { validate(reasoner, null, null); }  static void validate(OWLReasoner reasoner); static void validate(OWLReasoner reasoner, String unsatisfiableModulePath); static void validate(
      OWLReasoner reasoner, String unsatisfiableModulePath, IOHelper ioHelper); static OWLOntology createIncoherentModule(OWLReasoner reasoner, IRI outputIRI); static List<InferredAxiomGenerator<? extends OWLAxiom>> getInferredAxiomGenerators(
      List<String> axGenerators, boolean direct); static List<InferredAxiomGenerator<? extends OWLAxiom>> getInferredAxiomGenerators(
      List<String> axGenerators); static InferredAxiomGenerator<? extends OWLAxiom> getInferredAxiomGenerator(
      String axGenerator); static InferredAxiomGenerator<? extends OWLAxiom> getInferredAxiomGenerator(
      String axGenerator, boolean direct); }
ReasonerHelper { public static void validate(OWLReasoner reasoner) throws IncoherentTBoxException, InconsistentOntologyException, IncoherentRBoxException { validate(reasoner, null, null); }  static void validate(OWLReasoner reasoner); static void validate(OWLReasoner reasoner, String unsatisfiableModulePath); static void validate(
      OWLReasoner reasoner, String unsatisfiableModulePath, IOHelper ioHelper); static OWLOntology createIncoherentModule(OWLReasoner reasoner, IRI outputIRI); static List<InferredAxiomGenerator<? extends OWLAxiom>> getInferredAxiomGenerators(
      List<String> axGenerators, boolean direct); static List<InferredAxiomGenerator<? extends OWLAxiom>> getInferredAxiomGenerators(
      List<String> axGenerators); static InferredAxiomGenerator<? extends OWLAxiom> getInferredAxiomGenerator(
      String axGenerator); static InferredAxiomGenerator<? extends OWLAxiom> getInferredAxiomGenerator(
      String axGenerator, boolean direct);  }