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

Method Summary

Modifier and Type	Method and Description
ReasonerQuery	copy()
Atom	getAtom()
MultiUnifier	getMultiUnifier(ReasonerQuery p, UnifierComparison unifierType)
protected java.util.stream.Stream<ReasonerQueryImpl>	getQueryStream(Answer sub)
ReasonerAtomicQuery	inferTypes()
boolean	isAtomic()
java.util.stream.Stream<Answer>	materialise(Answer answer) materialise this query with the accompanying answer - persist to kb
ReasonerAtomicQuery	positive()
Pair<Iterator<ResolutionState>,MultiUnifier>	queryStateIterator(QueryStateBase parent, Set<ReasonerAtomicQuery> visitedSubGoals, QueryCache<ReasonerAtomicQuery> cache)
java.util.stream.Stream<Answer>	resolveAndMaterialise(LazyQueryCache<ReasonerAtomicQuery> cache, LazyQueryCache<ReasonerAtomicQuery> dCache) resolves the query and materialises answers, explanations are not provided
Set<Atom>	selectAtoms() atom selection function
ResolutionState	subGoal(Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
String	toString()
ReasonerAtomicQuery	withSubstitution(Answer sub)

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

checkValid, conjunction, equals, getAtoms, getAtoms, getMultiUnifier, getPattern, getQuery, getRoleSubstitution, getSubstitution, getVarNames, getVarTypeMap, getVarTypeMap, hashCode, idTransform, isEquivalent, isRuleResolvable, isTypeRoleCompatible, requiresReiteration, resolve, subGoals, transformIds, tx, validateOntologically

Methods inherited from class java.lang.Object

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

Method Detail

copy

public ReasonerQuery copy()

Overrides:

copy in class ReasonerQueryImpl

withSubstitution

public ReasonerAtomicQuery withSubstitution(Answer sub)

Overrides:

withSubstitution in class ReasonerQueryImpl

Parameters:

sub - substitution to be inserted into the query

Returns:

corresponding query with additional substitution

inferTypes

public ReasonerAtomicQuery inferTypes()

Overrides:

inferTypes in class ReasonerQueryImpl

Returns:

corresponding reasoner query with inferred types

positive

public ReasonerAtomicQuery positive()

Overrides:

positive in class ReasonerQueryImpl

Returns:

corresponding positive query (with neq predicates removed)

toString

public String toString()

Overrides:

toString in class ReasonerQueryImpl

isAtomic

public boolean isAtomic()

Returns:

true if this query is atomic

getAtom

public Atom getAtom()

Returns:

the atom constituting this atomic query

selectAtoms

public Set<Atom> selectAtoms()

Description copied from class: ReasonerQueryImpl

atom selection function

Overrides:

selectAtoms in class ReasonerQueryImpl

Returns:

selected atoms

getMultiUnifier

public MultiUnifier getMultiUnifier(ReasonerQuery p,
                                    UnifierComparison unifierType)

Overrides:

getMultiUnifier in class ReasonerQueryImpl

Parameters:

p - query for which unifier to unify with should be found

unifierType - unifier type

Returns:

corresponding multiunifier

Throws:

IllegalArgumentException - if passed a ReasonerQuery that is not a ReasonerAtomicQuery.

materialise

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

materialise this query with the accompanying answer - persist to kb

Parameters:

answer - to be materialised

Returns:

stream of materialised answers

resolveAndMaterialise

public java.util.stream.Stream<Answer> resolveAndMaterialise(LazyQueryCache<ReasonerAtomicQuery> cache,
                                                             LazyQueryCache<ReasonerAtomicQuery> dCache)

Description copied from class: ReasonerQueryImpl

resolves the query and materialises answers, explanations are not provided

Returns:

stream of answers

subGoal

public ResolutionState subGoal(Answer sub,
                               Unifier u,
                               QueryStateBase parent,
                               Set<ReasonerAtomicQuery> subGoals,
                               QueryCache<ReasonerAtomicQuery> cache)

Overrides:

subGoal in class ReasonerQueryImpl

Parameters:

sub - partial substitution

u - unifier with parent state

parent - parent state

subGoals - set of visited sub goals

cache - query cache

Returns:

resolution subGoal formed from this query

getQueryStream

protected java.util.stream.Stream<ReasonerQueryImpl> getQueryStream(Answer sub)

Returns:

stream of queries obtained by inserting all inferred possible types (if ambiguous)

queryStateIterator

public Pair<Iterator<ResolutionState>,MultiUnifier> queryStateIterator(QueryStateBase parent,
                                                                       Set<ReasonerAtomicQuery> visitedSubGoals,
                                                                       QueryCache<ReasonerAtomicQuery> cache)

Overrides:

queryStateIterator in class ReasonerQueryImpl

Parameters:

parent - parent state

visitedSubGoals - set of visited sub goals

cache - query cache

Returns:

query state iterator (db iter + unifier + state iter) for this query