private TreeSet<OWLClassExpression> refineNode(OENode node) { logger.trace(sparql_debug,"REFINE NODE " + node); MonitorFactory.getTimeMonitor("refineNode").start(); // we have to remove and add the node since its heuristic evaluation changes through the expansion // (you *must not* include any criteria in the heuristic which are modified outside of this method, // otherwise you may see rarely occurring but critical false ordering in the nodes set) searchTree.updatePrepare(node); int horizExp = node.getHorizontalExpansion(); TreeSet<OWLClassExpression> refinements = (TreeSet<OWLClassExpression>) operator.refine(node.getDescription(), horizExp+1); // System.out.println("refinements: " + refinements); node.incHorizontalExpansion(); node.setRefinementCount(refinements.size()); // System.out.println("refined node: " + node); searchTree.updateDone(node); MonitorFactory.getTimeMonitor("refineNode").stop(); return refinements; }
private TreeSet<OWLClassExpression> refineNode(LengthLimitedRefinementOperator operator, OENode node) { MonitorFactory.getTimeMonitor("refineNode").start(); // we have to remove and add the node since its heuristic evaluation changes through the expansion // (you *must not* include any criteria in the heuristic which are modified outside of this method, // otherwise you may see rarely occurring but critical false ordering in the nodes set) searchTree.updatePrepare(node); int horizExp = node.getHorizontalExpansion(); TreeSet<OWLClassExpression> refinements = (TreeSet<OWLClassExpression>) operator.refine(node.getDescription(), horizExp+1); // System.out.println("refinements: " + refinements); node.incHorizontalExpansion(); node.setRefinementCount(refinements.size()); // System.out.println("refined node: " + node); searchTree.updateDone(node); MonitorFactory.getTimeMonitor("refineNode").stop(); return refinements; }