@Override public Node<OWLClass> getTopClassNode() { LOGGER_.trace("getTopClassNode()"); checkInterrupted(); try { return getClassNode(objectFactory_.getOwlThing()); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getTopClassNode()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLClass> getBottomClassNode() { LOGGER_.trace("getBottomClassNode()"); checkInterrupted(); try { return getClassNode(objectFactory_.getOwlNothing()); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getBottomClassNode()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLClass> getTopClassNode() { LOGGER_.trace("getTopClassNode()"); checkInterrupted(); try { return getClassNode(objectFactory_.getOwlThing()); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getTopClassNode()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLClass> getTopClassNode() { LOGGER_.trace("getTopClassNode()"); checkInterrupted(); try { return getClassNode(objectFactory_.getOwlThing()); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getTopClassNode()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLClass> getBottomClassNode() { LOGGER_.trace("getBottomClassNode()"); checkInterrupted(); try { return getClassNode(objectFactory_.getOwlNothing()); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getBottomClassNode()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLClass> getBottomClassNode() { LOGGER_.trace("getBottomClassNode()"); checkInterrupted(); try { return getClassNode(objectFactory_.getOwlNothing()); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getBottomClassNode()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException, InconsistentOntologyException { LOGGER_.trace("getUnsatisfiableClasses()"); checkInterrupted(); try { return getClassNode(objectFactory_.getOwlNothing()); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getUnsatisfiableClasses()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException, InconsistentOntologyException { LOGGER_.trace("getUnsatisfiableClasses()"); checkInterrupted(); try { return getClassNode(objectFactory_.getOwlNothing()); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getUnsatisfiableClasses()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException, InconsistentOntologyException { LOGGER_.trace("getUnsatisfiableClasses()"); checkInterrupted(); try { return getClassNode(objectFactory_.getOwlNothing()); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("getUnsatisfiableClasses()", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }