ai.grakn.graql.internal.reasoner.query

Class ReasonerQueries

java.lang.Object

ai.grakn.graql.internal.reasoner.query.ReasonerQueries

public class ReasonerQueries
extends Object

Factory for reasoner queries.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
ReasonerQueries()

Method Summary

Modifier and Type	Method and Description
static ReasonerAtomicQuery	atomic(Atom atom) create an atomic query from the provided atom NB: atom constraints (types and predicates, if any) will be included in the query
static ReasonerAtomicQuery	atomic(Conjunction<VarPatternAdmin> pattern, GraknTx tx)
static ReasonerAtomicQuery	atomic(ReasonerAtomicQuery q) create an atomic query copy from the provided query with the types inferred
static ReasonerAtomicQuery	atomic(ReasonerAtomicQuery q, Answer sub) create an atomic query by combining an existing atomic query and a substitution
static ReasonerQueryImpl	create(Conjunction<VarPatternAdmin> pattern, GraknTx tx) create a reasoner query from a conjunctive pattern with types inferred
static ReasonerQueryImpl	create(List<Atom> as, GraknTx tx) create a reasoner query from provided list of atoms NB: atom constraints (types and predicates, if any) will be included in the query
static ReasonerQueryImpl	create(ReasonerQueryImpl q) create a reasoner query copy from the provided query with the types inferred
static ReasonerQueryImpl	create(ReasonerQueryImpl q, Answer sub) create a reasoner query by combining an existing query and a substitution
static ReasonerQueryImpl	create(Set<Atomic> as, GraknTx tx) create a reasoner query from provided set of atomics

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReasonerQueries

public ReasonerQueries()

Method Detail

create

public static ReasonerQueryImpl create(Conjunction<VarPatternAdmin> pattern,
                                       GraknTx tx)

create a reasoner query from a conjunctive pattern with types inferred

Parameters:

pattern - conjunctive pattern defining the query

tx - corresponding transaction

Returns:

reasoner query constructed from provided conjunctive pattern

create

public static ReasonerQueryImpl create(Set<Atomic> as,
                                       GraknTx tx)

create a reasoner query from provided set of atomics

Parameters:

as - set of atomics that define the query

tx - corresponding transaction

Returns:

reasoner query defined by the provided set of atomics

create

public static ReasonerQueryImpl create(List<Atom> as,
                                       GraknTx tx)

create a reasoner query from provided list of atoms NB: atom constraints (types and predicates, if any) will be included in the query

Parameters:

as - list of atoms that define the query

tx - corresponding transaction

Returns:

reasoner query defined by the provided list of atoms together with their constraints (types and predicates, if any)

create

public static ReasonerQueryImpl create(ReasonerQueryImpl q)

create a reasoner query copy from the provided query with the types inferred

Parameters:

q - query to be copied

Returns:

copied reasoner query with inferred types

create

public static ReasonerQueryImpl create(ReasonerQueryImpl q,
                                       Answer sub)

create a reasoner query by combining an existing query and a substitution

Parameters:

q - base query for substitution to be attached

sub - (partial) substitution

Returns:

reasoner query with the substitution contained in the query

atomic

public static ReasonerAtomicQuery atomic(Conjunction<VarPatternAdmin> pattern,
                                         GraknTx tx)

Parameters:

pattern - conjunctive pattern defining the query

tx - corresponding transaction

Returns:

atomic query defined by the provided pattern with inferred types

atomic

public static ReasonerAtomicQuery atomic(Atom atom)

create an atomic query from the provided atom NB: atom constraints (types and predicates, if any) will be included in the query

Parameters:

atom - defining the query

Returns:

atomic query defined by the provided atom together with its constraints (types and predicates, if any)

atomic

public static ReasonerAtomicQuery atomic(ReasonerAtomicQuery q)

create an atomic query copy from the provided query with the types inferred

Parameters:

q - query to be copied

Returns:

copied atomic query with inferred types

atomic

public static ReasonerAtomicQuery atomic(ReasonerAtomicQuery q,
                                         Answer sub)

create an atomic query by combining an existing atomic query and a substitution

Parameters:

q - base query for substitution to be attached

sub - (partial) substitution

Returns:

atomic query with the substitution contained in the query