@Override protected DefaultNode<OWLClass> createNode() { return new OWLClassNode(); } }
/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
/** * @return the top class node */ public static DefaultNode<OWLClass> getOWLClassTopNode() { return OWLClassNode.getTopNode(); }
/** * @return a class node */ public static DefaultNode<OWLClass> getOWLClassNode() { return new OWLClassNode(); }
/** * @return the top class node */ public static DefaultNode<OWLClass> getOWLClassTopNode() { return OWLClassNode.getTopNode(); }
/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
@Override protected DefaultNode<OWLClass> createNode() { return new OWLClassNode(); } }
/** * @return the top class node */ public static DefaultNode<OWLClass> getOWLClassTopNode() { return OWLClassNode.getTopNode(); }
@Override public Node<OWLClass> getUnsatisfiableClasses() { return OWLClassNode.getBottomNode(); }
/** * @return a class node */ public static DefaultNode<OWLClass> getOWLClassNode() { return new OWLClassNode(); }
/** * @return the top class node */ public static DefaultNode<OWLClass> getOWLClassTopNode() { return OWLClassNode.getTopNode(); }
/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
@Override protected DefaultNode<OWLClass> createNode() { return new OWLClassNode(); } }
/** * @return the top class node */ public static DefaultNode<OWLClass> getOWLClassTopNode() { return OWLClassNode.getTopNode(); }
/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
/** * @return a class node */ public static DefaultNode<OWLClass> getOWLClassNode() { return new OWLClassNode(); }
public static DefaultNode<OWLClass> getOWLClassTopNode() { return OWLClassNode.getTopNode(); }
/** * @return the bottom class node */ public static DefaultNode<OWLClass> getOWLClassBottomNode() { return OWLClassNode.getBottomNode(); }
/** * @return a class node */ public static DefaultNode<OWLClass> getOWLClassNode() { return new OWLClassNode(); }
/** * @param showBottomNode true if bottom node is to be showed */ public void dumpClassHierarchy(boolean showBottomNode) { dumpClassHierarchy(OWLClassNode.getTopNode(), 0, showBottomNode); }