/** * {@inheritDoc} */ @Override public ATermAppl getFromName() { return getFrom().getName(); }
/** * {@inheritDoc} */ @Override public ATermAppl getFromName() { return getFrom().getName(); }
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. }
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 }
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 }
private void collectComplexPropertyValues(final Individual subj, final Role role) { final Set<ATermAppl> knowns = new HashSet<>(); final Set<ATermAppl> unknowns = new HashSet<>(); subj.getABox().getObjectPropertyValues(subj.getName(), role, knowns, unknowns, false); for (final ATermAppl val : knowns) _outEdges.add(new CachedOutEdge(role, val, DependencySet.INDEPENDENT)); for (final ATermAppl val : unknowns) _outEdges.add(new CachedOutEdge(role, val, DependencySet.DUMMY)); }
private void collectComplexPropertyValues(final Individual subj, final Role role) { final Set<ATermAppl> knowns = new HashSet<>(); final Set<ATermAppl> unknowns = new HashSet<>(); subj.getABox().getObjectPropertyValues(subj.getName(), role, knowns, unknowns, false); for (final ATermAppl val : knowns) _outEdges.add(new CachedOutEdge(role, val, DependencySet.INDEPENDENT)); for (final ATermAppl val : unknowns) _outEdges.add(new CachedOutEdge(role, val, DependencySet.DUMMY)); }
@Override public void visit(final ClassAtom atom) { final ATermAppl cls = atom.getPredicate(); final ATermAppl ind = _binding.get(atom.getArgument()).getName(); addType(ind, cls); }
@Override public Individual addIndividual(final ATermAppl x, final DependencySet ds) { final Individual ind = addIndividual(x, null, ds); // update affected inds for this _branch if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), ind.getName()); return ind; }
@Override public void visit(final ClassAtom atom) { final ATermAppl cls = atom.getPredicate(); final ATermAppl ind = _binding.get(atom.getArgument()).getName(); addType(ind, cls); }
@Override public Individual addIndividual(final ATermAppl x, final DependencySet ds) { final Individual ind = addIndividual(x, null, ds); // update affected inds for this _branch if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), ind.getName()); return ind; }
@Override public void visit(final DatavaluedPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = _binding.get(atom.getArgument1()).getName(); final ATermAppl o = _binding.get(atom.getArgument2()).getName(); addEdge(p, s, o); }
@Override public void visit(final DatavaluedPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = _binding.get(atom.getArgument1()).getName(); final ATermAppl o = _binding.get(atom.getArgument2()).getName(); addEdge(p, s, o); }