ai.grakn.graql.internal.reasoner.query

Class ReasonerAtomicQuery

java.lang.Object

ai.grakn.graql.internal.reasoner.query.ReasonerQueryImpl

ai.grakn.graql.internal.reasoner.query.ReasonerAtomicQuery

All Implemented Interfaces:

ReasonerQuery

public class ReasonerAtomicQuery
extends ReasonerQueryImpl

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
ReasonerAtomicQuery(Atom at)
ReasonerAtomicQuery(Conjunction<VarAdmin> pattern, GraknGraph graph)
ReasonerAtomicQuery(ReasonerAtomicQuery query)

Method Summary

Modifier and Type	Method and Description
boolean	addAtomic(Atomic at)
java.util.stream.Stream<Answer>	answerStream(Set<ReasonerAtomicQuery> subGoals, Cache<ReasonerAtomicQuery,?> cache, Cache<ReasonerAtomicQuery,?> dCache, boolean materialise, boolean explanation, boolean differentialJoin) resolves the query by performing lookups and rule resolution and returns a stream of new answers
ReasonerQuery	copy()
java.util.stream.Stream<Answer>	DBlookup() resolve the query by performing a db lookup
boolean	equals(Object obj)
Atom	getAtom()
Unifier	getUnifier(ReasonerQuery p)
int	hashCode()
ReasonerQueryIterator	iterator(Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
java.util.stream.Stream<Answer>	lookup(Cache<ReasonerAtomicQuery,?> cache) resolve the query by performing either a db or memory lookup, depending on which is more appropriate
java.util.stream.Stream<Answer>	materialise(Answer answer)
boolean	removeAtomic(Atomic at)
java.util.stream.Stream<Answer>	resolve(boolean materialise, boolean explanation, LazyQueryCache<ReasonerAtomicQuery> cache, LazyQueryCache<ReasonerAtomicQuery> dCache) resolves the query
Set<Atom>	selectAtoms() atom selection function
void	unify(Unifier unifier) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i})

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

addAtomConstraints, containsEquivalentAtom, findNextJoinable, getAtoms, getFilters, getIdPredicate, getIdPredicates, getMatchQuery, getPattern, getTypeConstraints, getValuePredicates, getVarNames, getVarTypeMap, graph, isEquivalent, isRuleResolvable, iterator, resolve, toString, unify

Methods inherited from class java.lang.Object

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

Constructor Detail

ReasonerAtomicQuery

public ReasonerAtomicQuery(Conjunction<VarAdmin> pattern,
                           GraknGraph graph)

ReasonerAtomicQuery

public ReasonerAtomicQuery(ReasonerAtomicQuery query)

ReasonerAtomicQuery

public ReasonerAtomicQuery(Atom at)

Method Detail

copy

public ReasonerQuery copy()

Specified by:

copy in interface ReasonerQuery

Overrides:

copy in class ReasonerQueryImpl

equals

public boolean equals(Object obj)

Overrides:

equals in class ReasonerQueryImpl

hashCode

public int hashCode()

Overrides:

hashCode in class ReasonerQueryImpl

getAtom

public Atom getAtom()

Returns:

the atom constituting this atomic query

addAtomic

public boolean addAtomic(Atomic at)

Overrides:

addAtomic in class ReasonerQueryImpl

Parameters:

at - to be added

Returns:

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

removeAtomic

public boolean removeAtomic(Atomic at)

Overrides:

removeAtomic in class ReasonerQueryImpl

Parameters:

at - to be removed

Returns:

true if the atom set contained the specified atom

unify

public void unify(Unifier unifier)

Description copied from class: ReasonerQueryImpl

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

Specified by:

unify in interface ReasonerQuery

Overrides:

unify in class ReasonerQueryImpl

Parameters:

unifier - (variable mappings) to be applied

selectAtoms

public Set<Atom> selectAtoms()

Description copied from class: ReasonerQueryImpl

atom selection function

Overrides:

selectAtoms in class ReasonerQueryImpl

Returns:

selected atoms

getUnifier

public Unifier getUnifier(ReasonerQuery p)

Specified by:

getUnifier in interface ReasonerQuery

Overrides:

getUnifier in class ReasonerQueryImpl

Returns:

lookup

public java.util.stream.Stream<Answer> lookup(Cache<ReasonerAtomicQuery,?> cache)

resolve the query by performing either a db or memory lookup, depending on which is more appropriate

Parameters:

cache - container of already performed query resolutions

DBlookup

public java.util.stream.Stream<Answer> DBlookup()

resolve the query by performing a db lookup

materialise

public java.util.stream.Stream<Answer> materialise(Answer answer)

answerStream

public java.util.stream.Stream<Answer> answerStream(Set<ReasonerAtomicQuery> subGoals,
                                                    Cache<ReasonerAtomicQuery,?> cache,
                                                    Cache<ReasonerAtomicQuery,?> dCache,
                                                    boolean materialise,
                                                    boolean explanation,
                                                    boolean differentialJoin)

resolves the query by performing lookups and rule resolution and returns a stream of new answers

Parameters:

subGoals - visited subGoals (recursive queries)

cache - global query cache

dCache - differential query cache

materialise - whether inferred information should be materialised

Returns:

stream of differential answers

resolve

public java.util.stream.Stream<Answer> resolve(boolean materialise,
                                               boolean explanation,
                                               LazyQueryCache<ReasonerAtomicQuery> cache,
                                               LazyQueryCache<ReasonerAtomicQuery> dCache)

Description copied from class: ReasonerQueryImpl

resolves the query

Overrides:

resolve in class ReasonerQueryImpl

Parameters:

materialise - materialisation flag

Returns:

stream of answers

iterator

public ReasonerQueryIterator iterator(Set<ReasonerAtomicQuery> subGoals,
                                      QueryCache<ReasonerAtomicQuery> cache)