/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
@Override public Node<OWLClass> getUnsatisfiableClasses() { return OWLClassNode.getBottomNode(); }
/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
@Override public Node<OWLClass> getUnsatisfiableClasses() { return OWLClassNode.getBottomNode(); }
/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
public Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException { return OWLClassNode.getBottomNode(); }
public Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException { return OWLClassNode.getBottomNode(); }
@Override public Node<OWLClass> getUnsatisfiableClasses() { return OWLClassNode.getBottomNode(); }
@Override public Node<OWLClass> getUnsatisfiableClasses() { return OWLClassNode.getBottomNode(); }
public Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException { return OWLClassNode.getBottomNode(); }
public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
@Nonnull @Override public Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException { return OWLClassNode.getBottomNode(); }