@Override public boolean isConsistent() throws ReasonerInterruptedException, TimeOutException { LOGGER_.trace("isConsistent()"); try { return !reasoner_.isInconsistent(); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("isConsistent()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public boolean isConsistent() throws ReasonerInterruptedException, TimeOutException { LOGGER_.trace("isConsistent()"); try { return !reasoner_.isInconsistent(); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("isConsistent()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public boolean isConsistent() throws ReasonerInterruptedException, TimeOutException { LOGGER_.trace("isConsistent()"); try { return !reasoner_.isInconsistent(); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("isConsistent()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
boolean isConsistent = reasoner.isInconsistent();
@Override public void accept(TracingTestVisitor visitor) throws Exception { if (reasoner_.isInconsistent()) { Factory elkFactory = reasoner_.getElkFactory(); visitor.testSubsumption(elkFactory.getOwlThing(),
boolean inconsistent = reasoner.isInconsistent(); if (options.hasArgument(outputFile)) { writeConsistencyToFile(options.valueOf(outputFile),
boolean inconsistent = reasoner.isInconsistent(); if (options.hasArgument(outputFile)) { writeConsistencyToFile(options.valueOf(outputFile),
assertFalse(reasoner.isInconsistent()); reasoner.getTaxonomy(); assertTrue(reasoner.isInconsistent());
assertFalse(reasoner.isInconsistent());