public static boolean supports(final Query query, @SuppressWarnings("unused") final KnowledgeBase kb) { return getQueryExec().supports(query); }
/** * Checks whether sub is equivalent to sup * * @param sub * @param sup * @return */ public static boolean isEquivalentTo(final Query q1, final Query q2) { return isSubsumedBy(q1, q2) && isSubsumedBy(q2, q1); }
private static boolean hasUndefinedTerm(final List<QueryAtom> atoms, final KnowledgeBase kb) { for (final QueryAtom atom : atoms) if (!hasDefinedTerms(atom, kb)) return true; return false; }
private static QueryResult execSingleQuery(final Query query) { if (hasUndefinedTerm(query)) return new QueryResultImpl(query); return getQueryExec().exec(query); }
public IncrementalQueryPlan(final Query query) { super(query); QuerySizeEstimator.computeSizeEstimate(query); _explored = new Stack<>(); _atoms = query.getAtoms(); _size = _atoms.size(); _cost = new QueryCost(query.getKB()); reset(); }
/** * Simplifies the query. * * @param query */ private static void simplify(final Query query) { domainRangeSimplification(query); }
public static QueryExec getQueryExec() { return new CombinedQueryEngine(); }
private static QueryResult execSingleQuery(final Query query) { if (hasUndefinedTerm(query)) return new QueryResultImpl(query); return getQueryExec().exec(query); }
public IncrementalQueryPlan(final Query query) { super(query); QuerySizeEstimator.computeSizeEstimate(query); _explored = new Stack<>(); _atoms = query.getAtoms(); _size = _atoms.size(); _cost = new QueryCost(query.getKB()); reset(); }
public static boolean supports(final Query query, @SuppressWarnings("unused") final KnowledgeBase kb) { return getQueryExec().supports(query); }
/** * Checks whether sub is equivalent to sup * * @param sub * @param sup * @return */ public static boolean isEquivalentTo(final Query q1, final Query q2) { return isSubsumedBy(q1, q2) && isSubsumedBy(q2, q1); }
private static boolean hasUndefinedTerm(final List<QueryAtom> atoms, final KnowledgeBase kb) { for (final QueryAtom atom : atoms) if (!hasDefinedTerms(atom, kb)) return true; return false; }
/** * Simplifies the query. * * @param query */ private static void simplify(final Query query) { domainRangeSimplification(query); }
public static QueryExec getQueryExec() { return new CombinedQueryEngine(); }
private static QueryResult execSingleQuery(final Query query) { if (hasUndefinedTerm(query)) return new QueryResultImpl(query); return getQueryExec().exec(query); }
public static boolean supports(final Query query, @SuppressWarnings("unused") final KnowledgeBase kb) { return getQueryExec().supports(query); }
/** * Checks whether sub is equivalent to sup * * @param sub * @param sup * @return */ public static boolean isEquivalentTo(final Query q1, final Query q2) { return isSubsumedBy(q1, q2) && isSubsumedBy(q2, q1); }
private static boolean hasUndefinedTerm(final List<QueryAtom> atoms, final KnowledgeBase kb) { for (final QueryAtom atom : atoms) if (!hasDefinedTerms(atom, kb)) return true; return false; }
/** * Simplifies the query. * * @param query */ private static void simplify(final Query query) { domainRangeSimplification(query); }
public static QueryExec getQueryExec() { return new CombinedQueryEngine(); }