public static void printCounts(final ABox abox) { if (abox == null) { System.out.println("NO ABOX"); return; } int typeCount = 0; int edgeCount = 0; int literalCount = 0; for (final Node node : abox.getNodes().values()) if (node.isLiteral()) literalCount++; else { edgeCount += ((Individual) node).getOutEdges().size(); typeCount += node.getTypes().size(); } final int individualCount = abox.getNodes().size() - literalCount; System.out.println("Individuals : " + individualCount); System.out.println("Literals : " + literalCount); System.out.println("Types : " + typeCount); System.out.println("Edges : " + edgeCount); System.out.println(); }
/** * Apply all values restriction for the Top object role * * @param allTopC * @param c * @param ds */ public void applyAllValuesTop(final ATermAppl allTopC, final ATermAppl c, final DependencySet ds) { for (final Node node : _strategy.getABox().getNodes().values()) if (node.isIndividual() && !node.isPruned() && !node.hasType(c)) { node.addType(c, ds); node.addType(allTopC, ds); if (_strategy.getABox().isClosed()) break; } } }
+ " Branches " + abox.getBranches().size()// + " Tree depth: " + abox.getStats()._treeDepth// + " Tree size: " + abox.getNodes().size()// + " Restores " + abox.getStats()._globalRestores// + " global " + abox.getStats()._localRestores//
+ " Branches " + abox.getBranches().size()// + " Tree depth: " + abox.getStats()._treeDepth// + " Tree size: " + abox.getNodes().size()// + " Restores " + abox.getStats()._globalRestores// + " global " + abox.getStats()._localRestores//
/** * Apply all values restriction for the Top object role * * @param allTopC * @param c * @param ds */ public void applyAllValuesTop(final ATermAppl allTopC, final ATermAppl c, final DependencySet ds) { for (final Node node : _strategy.getABox().getNodes().values()) if (node.isIndividual() && !node.isPruned() && !node.hasType(c)) { node.addType(c, ds); node.addType(allTopC, ds); if (_strategy.getABox().isClosed()) break; } } }
for (final Node node : getABox().getNodes().values()) if (node.isLiteral() && node.getTerm() != null) literals.add(node.getTerm());
for (final Node node : getABox().getNodes().values()) if (node.isLiteral() && node.getTerm() != null) literals.add(node.getTerm());
+ ", Size: " + _abox.getNodes().size()// + ", Mem: " + Runtime.getRuntime().freeMemory() / 1000 + "kb"); _abox.validate();
+ ", Size: " + _abox.getNodes().size()// + ", Mem: " + Runtime.getRuntime().freeMemory() / 1000 + "kb"); _abox.validate();
_logger.fine("Branch: " + _abox.getBranchIndex() + ", Depth: " + _abox.getStats()._treeDepth + ", Size: " + _abox.getNodes().size() + ", Mem: " + Runtime.getRuntime().freeMemory() / 1000 + "kb"); _abox.validate(); printBlocked();
_logger.fine("Branch: " + _abox.getBranchIndex() + ", Depth: " + _abox.getStats()._treeDepth + ", Size: " + _abox.getNodes().size() + ", Mem: " + Runtime.getRuntime().freeMemory() / 1000 + "kb"); _abox.validate(); printBlocked();
return; for (final Node node : _strategy.getABox().getNodes().values()) if (node.isIndividual() && !node.isPruned() && node.hasType(c)) return;
return; for (final Node node : _strategy.getABox().getNodes().values()) if (node.isIndividual() && !node.isPruned() && node.hasType(c)) return;