@Override public Individual next() { findNext(); return _abox.getIndividual(_nodeList.get(_index++)); }
@Override public Individual next() { findNext(); return _abox.getIndividual(_nodeList.get(_index++)); }
public MaxBranch(final ABox abox, final MaxBranch mb) { super(abox, mb, mb._mergePairs.size()); _mergePairs = mb._mergePairs; _r = mb._r; _n = mb._n; _qualification = mb._qualification; _prevDS = new DependencySet[mb._mergePairs.size()]; System.arraycopy(mb._prevDS, 0, _prevDS, 0, getTryNext()); _ind = abox.getIndividual(_ind.getName()); // XXX Strange, see if it is possible. }
public MaxBranch(final ABox abox, final MaxBranch mb) { super(abox, mb, mb._mergePairs.size()); _mergePairs = mb._mergePairs; _r = mb._r; _n = mb._n; _qualification = mb._qualification; _prevDS = new DependencySet[mb._mergePairs.size()]; System.arraycopy(mb._prevDS, 0, _prevDS, 0, getTryNext()); _ind = abox.getIndividual(_ind.getName()); // XXX Strange, see if it is possible. }
/** * @param val * @return */ private static boolean isRootNominal(final KnowledgeBase kb, final ATermAppl val) { final Individual ind = kb.getABox().getIndividual(val); return ind != null && ind.isRootNominal(); }
@Override public void realize(final ATermAppl x) { realize(_kb.getABox().getIndividual(x)); }
@Override public void visit(final AtomIConstant constant) { _abox.copyOnWrite(); value = _abox.getIndividual(constant.getValue()); }
public GuessBranch(final ABox abox, final GuessBranch gb) { super(abox, gb, gb._minGuess + gb.getTryCount() /*- 1*/ - gb._minGuess /*+ 1*/); _r = gb._r; _minGuess = gb._minGuess; _qualification = gb._qualification; _ind = abox.getIndividual(_ind.getName()); // FIXME : see MaxBranch }
@Override public void visit(final AtomIConstant constant) { _abox.copyOnWrite(); value = _abox.getIndividual(constant.getValue()); }
public GuessBranch(final ABox abox, final GuessBranch gb) { super(abox, gb, gb._minGuess + gb.getTryCount() /*- 1*/ - gb._minGuess /*+ 1*/); _r = gb._r; _minGuess = gb._minGuess; _qualification = gb._qualification; _ind = abox.getIndividual(_ind.getName()); // FIXME : see MaxBranch }
@Override public void realize(final ATermAppl x) { realize(_kb.getABox().getIndividual(x)); }
/** * @param val * @return */ private static boolean isRootNominal(final KnowledgeBase kb, final ATermAppl val) { final Individual ind = kb.getABox().getIndividual(val); return ind != null && ind.isRootNominal(); }
@Override public void visit(final AtomIConstant constant) { _translatorAbox.copyOnWrite(); final Individual individual = _translatorAbox.getIndividual(constant.getValue()); // if (_individual.isMerged()) { // _dependency = _individual.getMergeDependency(true); // _individual = _individual.getSame(); // } _result = new ConstantNodeProvider(individual); }
@Override public void visit(final AtomIConstant constant) { _translatorAbox.copyOnWrite(); final Individual individual = _translatorAbox.getIndividual(constant.getValue()); // if (_individual.isMerged()) { // _dependency = _individual.getMergeDependency(true); // _individual = _individual.getSame(); // } _result = new ConstantNodeProvider(individual); }
private static Set<ATermAppl> getABoxSames(final KnowledgeBase kb, final ATermAppl val) { final Individual ind = kb.getABox().getIndividual(val).getSame(); final Set<ATermAppl> samesAndMaybes = new HashSet<>(); kb.getABox().getSames(ind, samesAndMaybes, samesAndMaybes); return samesAndMaybes; }
protected Node initNode(final ATermAppl name) { if (ATermUtils.isLiteral(name)) return _abox.addLiteral(name); else { _abox.copyOnWrite(); return _abox.getIndividual(name); } }
protected Node initNode(final ATermAppl name) { if (ATermUtils.isLiteral(name)) return _abox.addLiteral(name); else { _abox.copyOnWrite(); return _abox.getIndividual(name); } }
private static Set<ATermAppl> getABoxSames(final KnowledgeBase kb, final ATermAppl val) { final Individual ind = kb.getABox().getIndividual(val).getSame(); final Set<ATermAppl> samesAndMaybes = new HashSet<>(); kb.getABox().getSames(ind, samesAndMaybes, samesAndMaybes); return samesAndMaybes; }
private void addType(final ATermAppl ind, final ATermAppl cls) { DependencySet nodeDS = _ds; Individual node = _abox.getIndividual(ind); if (node.isMerged()) { nodeDS = node.getMergeDependency(true); node = node.getSame(); } _strategy.addType(node, _negated ? ATermUtils.negate(cls) : cls, nodeDS); }
private void addType(final ATermAppl ind, final ATermAppl cls) { DependencySet nodeDS = _ds; Individual node = _abox.getIndividual(ind); if (node.isMerged()) { nodeDS = node.getMergeDependency(true); node = node.getSame(); } _strategy.addType(node, _negated ? ATermUtils.negate(cls) : cls, nodeDS); }