@Override public Iterator<WME> getMatches() { return new NestedIterator<Individual, WME>(_abox.getIndIterator()) { @Override public Iterator<WME> getInnerIterator(final Individual ind) { return toWMEs(ind.getEdgesTo(ind), EdgeDirection.FORWARD); } }; }
@Override public Iterator<WME> getMatches() { return new NestedIterator<Individual, WME>(_abox.getIndIterator()) { @Override public Iterator<WME> getInnerIterator(final Individual ind) { return toWMEs(ind); } }; }
@Override public Iterator<WME> getMatches() { return new NestedIterator<Individual, WME>(_abox.getIndIterator()) { @Override public Iterator<WME> getInnerIterator(final Individual ind) { return toWMEs(ind.getOutEdges().getEdges(_role), EdgeDirection.FORWARD); } }; }
@Override public Iterator<WME> getMatches() { return new NestedIterator<Individual, WME>(_abox.getIndIterator()) { @Override public Iterator<WME> getInnerIterator(final Individual ind) { return toWMEs(ind); } }; }
@Override public Iterator<WME> getMatches() { return new NestedIterator<Individual, WME>(_abox.getIndIterator()) { @Override public Iterator<WME> getInnerIterator(final Individual ind) { return toWMEs(ind.getEdgesTo(ind), EdgeDirection.FORWARD); } }; }
@Override public Iterator<WME> getMatches() { return new NestedIterator<Individual, WME>(_abox.getIndIterator()) { @Override public Iterator<WME> getInnerIterator(final Individual ind) { return toWMEs(ind.getOutEdges().getEdges(_role), EdgeDirection.FORWARD); } }; }
public AllNamedIndividualsIterator(final ABox abox) { _nodeIterator = abox.getIndIterator(); }
public AllNamedIndividualsIterator(final ABox abox) { _nodeIterator = abox.getIndIterator(); }
public void activateAll() { _abox.getIndIterator().forEachRemaining(this::activateIndividual); }
public void activateAll() { _abox.getIndIterator().forEachRemaining(this::activateIndividual); }
public void printBlocked() { int blockedCount = 0; final StringBuilder blockedNodes = new StringBuilder(); final Iterator<Individual> n = _abox.getIndIterator(); while (n.hasNext()) { final Individual node = n.next(); final ATermAppl x = node.getName(); if (_blocking.isBlocked(node)) { blockedCount++; blockedNodes.append(x).append(" "); } } if (_logger.isLoggable(Level.FINE)) _logger.fine("Blocked nodes " + blockedCount + " [" + blockedNodes + "]"); }
public void printBlocked() { int blockedCount = 0; final StringBuilder blockedNodes = new StringBuilder(); final Iterator<Individual> n = _abox.getIndIterator(); while (n.hasNext()) { final Individual node = n.next(); final ATermAppl x = node.getName(); if (_blocking.isBlocked(node)) { blockedCount++; blockedNodes.append(x).append(" "); } } if (_logger.isLoggable(Level.FINE)) _logger.fine("Blocked nodes " + blockedCount + " [" + blockedNodes + "]"); }
@Override public Iterator<WME> getMatches() { final Iterator<Individual> inds = (_name == null) ? _abox.getIndIterator() : IteratorUtils.singletonIterator(initNode()); return new NestedIterator<Individual, WME>(inds) { @Override public Iterator<WME> getInnerIterator(final Individual ind) { final DependencySet depends = ind.getDepends(_predicate); return (depends == null) ? IteratorUtils.<WME> emptyIterator() : IteratorUtils.<WME> singletonIterator(WME.createType(ind, _predicate, depends)); } }; }
@Override public Iterator<WME> getMatches() { final Iterator<Individual> inds = (_name == null) ? _abox.getIndIterator() : IteratorUtils.singletonIterator(initNode()); return new NestedIterator<Individual, WME>(inds) { @Override public Iterator<WME> getInnerIterator(final Individual ind) { final DependencySet depends = ind.getDepends(_predicate); return (depends == null) ? IteratorUtils.<WME> emptyIterator() : IteratorUtils.<WME> singletonIterator(WME.createType(ind, _predicate, depends)); } }; }
private void processIndividuals() { if (!_KB.getABox().isEmpty()) _expressivity.setHasIndividual(true); final Iterator<Individual> i = _KB.getABox().getIndIterator(); while (i.hasNext()) { final Individual ind = i.next(); final ATermAppl nominal = ATermUtils.makeValue(ind.getName()); final Iterator<ATermAppl> j = ind.getTypes().iterator(); while (j.hasNext()) { final ATermAppl term = j.next(); if (term.equals(nominal)) continue; _visitor.visit(term); } } }
private boolean realizeByIndividuals() { _monitor.setProgressLength(_kb.getIndividuals().size()); _monitor.taskStarted(); final Iterator<Individual> i = _kb.getABox().getIndIterator(); for (int count = 0; i.hasNext(); count++) { final Individual x = i.next(); _monitor.incrementProgress(); _kb.getTimers().getTimer("realize").ifPresent(t -> t.check()); if (_monitor.isCanceled()) return false; if (_logger.isLoggable(Level.FINER)) _logger.finer(count + ") Realizing " + format(x.getName()) + " "); realize(x); } _monitor.taskFinished(); return true; }
@Override public void initialize(final Expressivity expressivity) { _mergeList.clear(); _mnx.add(null); // add a null entry so Branch._branch _index will match with the _index in this array assert _abox.size() == 1 : "This strategy can only be used with originally empty ABoxes"; _blocking = BlockingFactory.createBlocking(expressivity); final Individual root = _abox.getIndIterator().next(); applyUniversalRestrictions(root); _selfRule.apply(root); _mayNeedExpanding.add(root); _abox.setBranchIndex(1); _abox.getStats()._treeDepth = 1; _abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true); }
@Override public void initialize(final Expressivity expressivity) { _mergeList.clear(); _mnx.add(null); // add a null entry so Branch._branch _index will match with the _index in this array assert _abox.size() == 1 : "This strategy can only be used with originally empty ABoxes"; _blocking = BlockingFactory.createBlocking(expressivity); final Individual root = _abox.getIndIterator().next(); applyUniversalRestrictions(root); _selfRule.apply(root); _mayNeedExpanding.add(root); _abox.setBranchIndex(1); _abox.getStats()._treeDepth = 1; _abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true); }
private boolean processIndividuals() { final IndividualIterator i = _KB.getABox().getIndIterator(); while (i.hasNext()) { final Individual ind = i.next(); final ATermAppl nominal = ATermUtils.makeValue(ind.getName()); for (final ATermAppl term : ind.getTypes()) { if (term.equals(nominal)) continue; if (!isEL(term)) return false; } } return true; }
private boolean processIndividuals() { final IndividualIterator i = _KB.getABox().getIndIterator(); while (i.hasNext()) { final Individual ind = i.next(); final ATermAppl nominal = ATermUtils.makeValue(ind.getName()); for (final ATermAppl term : ind.getTypes()) { if (term.equals(nominal)) continue; if (!isEL(term)) return false; } } return true; }