public static QueryAtom Core(final Collection<QueryAtom> atoms, final Collection<ATermAppl> uv, final KnowledgeBase kb) { return new CoreNewImpl(atoms, uv, kb); }
final Collection<ATermAppl> distVars = core.getDistVars(); final Collection<ATermAppl> constants = core.getConstants(); if (constants.isEmpty()) if (QueryEngine.execBooleanABoxQuery(core.getQuery())) _result.add(binding); final ATermAppl clazz = core.getQuery().rollUpTo(c, Collections.<ATermAppl> emptySet(), STOP_ROLLING_ON_CONSTANTS); final ATermAppl c = core.getQuery().rollUpTo(var, Collections.<ATermAppl> emptySet(), STOP_ROLLING_ON_CONSTANTS); final Collection<ATermAppl> instances = _kb.getInstances(c); break; case ALLFAST: execAllFastCore(_oldQuery, binding, distVars, core.getUndistVars()); break; default:
_logger.fine(() -> c.getUndistVars() + " : " + c.getDistVars() + " : " + c.getQuery().getAtoms());
addI(atom.getArguments().get(0), signature, uv); addI(atom.getArguments().get(2), signature, uv); if (ATermUtils.isVar(a1)) if (!uv.contains(a1)) case Type: final ATermAppl aa1 = atom.getArguments().get(1); addI(atom.getArguments().get(0), signature, uv); if (ATermUtils.isVar(aa1)) if (!uv.contains(aa1))
final Collection<ATermAppl> distVars = core.getDistVars(); final Collection<ATermAppl> constants = core.getConstants(); if (constants.isEmpty()) if (QueryEngine.execBooleanABoxQuery(core.getQuery())) _result.add(binding); final ATermAppl clazz = core.getQuery().rollUpTo(c, Collections.<ATermAppl> emptySet(), STOP_ROLLING_ON_CONSTANTS); final ATermAppl c = core.getQuery().rollUpTo(var, Collections.<ATermAppl> emptySet(), STOP_ROLLING_ON_CONSTANTS); final Collection<ATermAppl> instances = _kb.getInstances(c); break; case ALLFAST: execAllFastCore(_oldQuery, binding, distVars, core.getUndistVars()); break; default:
_logger.fine(() -> c.getUndistVars() + " : " + c.getDistVars() + " : " + c.getQuery().getAtoms());
addI(atom.getArguments().get(0), signature, uv); addI(atom.getArguments().get(2), signature, uv); if (ATermUtils.isVar(a1)) if (!uv.contains(a1)) case Type: final ATermAppl aa1 = atom.getArguments().get(1); addI(atom.getArguments().get(0), signature, uv); if (ATermUtils.isVar(aa1)) if (!uv.contains(aa1))
final Collection<ATermAppl> distVars = core.getDistVars(); final Collection<ATermAppl> constants = core.getConstants(); if (constants.isEmpty()) if (QueryEngine.execBooleanABoxQuery(core.getQuery())) _result.add(binding); final ATermAppl clazz = core.getQuery().rollUpTo(c, Collections.<ATermAppl> emptySet(), STOP_ROLLING_ON_CONSTANTS); final ATermAppl c = core.getQuery().rollUpTo(var, Collections.<ATermAppl> emptySet(), STOP_ROLLING_ON_CONSTANTS); final Collection<ATermAppl> instances = _kb.getInstances(c); break; case ALLFAST: execAllFastCore(_oldQuery, binding, distVars, core.getUndistVars()); break; default:
_logger.fine(() -> c.getUndistVars() + " : " + c.getDistVars() + " : " + c.getQuery().getAtoms());
public static QueryAtom Core(final Collection<QueryAtom> atoms, final Collection<ATermAppl> uv, final KnowledgeBase kb) { return new CoreNewImpl(atoms, uv, kb); }
addI(atom.getArguments().get(0), signature, uv); addI(atom.getArguments().get(2), signature, uv); if (ATermUtils.isVar(a1)) if (!uv.contains(a1)) case Type: final ATermAppl aa1 = atom.getArguments().get(1); addI(atom.getArguments().get(0), signature, uv); if (ATermUtils.isVar(aa1)) if (!uv.contains(aa1))
public static QueryAtom Core(final Collection<QueryAtom> atoms, final Collection<ATermAppl> uv, final KnowledgeBase kb) { return new CoreNewImpl(atoms, uv, kb); }
/** * {@inheritDoc} */ @Override public CoreNewImpl apply(final ResultBinding binding) { return new CoreNewImpl(_query.apply(binding), _atom.apply(binding)); }
/** * {@inheritDoc} */ @Override public CoreNewImpl apply(final ResultBinding binding) { return new CoreNewImpl(_query.apply(binding), _atom.apply(binding)); }
/** * {@inheritDoc} */ @Override public CoreNewImpl apply(final ResultBinding binding) { return new CoreNewImpl(_query.apply(binding), _atom.apply(binding)); }