ai.grakn.graql.internal.reasoner.query

Class AtomicQuery

java.lang.Object

ai.grakn.graql.internal.reasoner.query.Query

ai.grakn.graql.internal.reasoner.query.AtomicQuery

Direct Known Subclasses:

AtomicMatchQuery

public class AtomicQuery
extends Query

Base reasoner atomic query. An atomic query is a query constrained to having at most one rule-resolvable atom together with its accompanying constraints (predicates and types)

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
AtomicQuery(AtomicQuery q)
AtomicQuery(Atom at, Set<VarName> vars)
AtomicQuery(MatchQuery query, GraknGraph graph)
AtomicQuery(String rhs, GraknGraph graph)

Method Summary

Modifier and Type	Method and Description
boolean	addAtom(Atomic at)
QueryAnswers	answer(Set<AtomicQuery> subGoals, QueryCache cache, boolean materialise) answer the query by providing combined lookup/rule resolutions
boolean	equals(Object obj)
void	establishRelation(AtomicQuery aq) establishes parent-child (if there is one) relation between this and aq query the relation expresses the relative level of specificity between queries with the parent being more specific
Atom	getAtom()
Set<AtomicQuery>	getChildren()
AtomicQuery	getParent()
QueryAnswers	materialise()
QueryAnswers	materialise(Set<IdPredicate> subs) Add explicit IdPredicates and materialise
boolean	removeAtom(Atomic at)
void	resolveViaRule(Rule rl, Set<AtomicQuery> subGoals, QueryCache cache, boolean materialise) attempt query resolution via application of a specific rule
Set<Atom>	selectAtoms() atom selection function
void	unify(Map<VarName,VarName> unifiers) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i})

Methods inherited from class ai.grakn.graql.internal.reasoner.query.Query

addAtomConstraints, containsAtom, containsEquivalentAtom, DBlookup, getAnswers, getAtoms, getFilters, getIdPredicate, getIdPredicates, getMatchQuery, getNewAnswers, getPattern, getResources, getSelectedNames, getTypeConstraints, getValuePredicates, getVarSet, getVarTypeMap, graph, hashCode, isEquivalent, isRuleResolvable, lookup, memoryLookup, propagateAnswers, resolve, selectAppend, toString, unify

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AtomicQuery

public AtomicQuery(String rhs,
                   GraknGraph graph)

AtomicQuery

public AtomicQuery(MatchQuery query,
                   GraknGraph graph)

AtomicQuery

public AtomicQuery(AtomicQuery q)

AtomicQuery

public AtomicQuery(Atom at,
                   Set<VarName> vars)

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Query

getParent

public AtomicQuery getParent()

Returns:

the parent (more specific related query) of this query

establishRelation

public void establishRelation(AtomicQuery aq)

establishes parent-child (if there is one) relation between this and aq query the relation expresses the relative level of specificity between queries with the parent being more specific

Parameters:

aq - query to compare

getAtom

public Atom getAtom()

Returns:

the atom constituting this atomic query

getChildren

public Set<AtomicQuery> getChildren()

Returns:

set of related, more general queries to this query

addAtom

public boolean addAtom(Atomic at)

Overrides:

addAtom in class Query

Parameters:

at - to be added

Returns:

true if the atom set did not already contain the specified atom

removeAtom

public boolean removeAtom(Atomic at)

Overrides:

removeAtom in class Query

Parameters:

at - to be removed

Returns:

true if the atom set contained the specified atom

materialise

public QueryAnswers materialise()

Returns:

inserted concepts if the atom required materialisation in order to be referencable

materialise

public QueryAnswers materialise(Set<IdPredicate> subs)

Add explicit IdPredicates and materialise

Parameters:

subs - IdPredicates of variables

Returns:

Materialised answers

unify

public void unify(Map<VarName,VarName> unifiers)

Description copied from class: Query

change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i})

Overrides:

unify in class Query

Parameters:

unifiers - contain unifiers (variable mappings) to be applied

selectAtoms

public Set<Atom> selectAtoms()

Description copied from class: Query

atom selection function

Overrides:

selectAtoms in class Query

Returns:

selected atoms

resolveViaRule

public void resolveViaRule(Rule rl,
                           Set<AtomicQuery> subGoals,
                           QueryCache cache,
                           boolean materialise)

attempt query resolution via application of a specific rule

Parameters:

rl - rule through which to resolve the query

subGoals - set of visited subqueries

cache - collection of performed query resolutions

materialise - materialisation flag

answer

public QueryAnswers answer(Set<AtomicQuery> subGoals,
                           QueryCache cache,
                           boolean materialise)

answer the query by providing combined lookup/rule resolutions

Parameters:

subGoals - set of visited subqueries

cache - collection of performed query resolutions

materialise - materialisation flag

Returns:

answers to the query