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(ConceptMap sub)
ReasonerAtomicQuery	inferTypes()
boolean	isAtomic()
java.util.stream.Stream<ConceptMap>	materialise(ConceptMap answer) materialise this query with the accompanying answer - persist to kb
ReasonerAtomicQuery	positive()
Iterator<ResolutionState>	queryStateIterator(QueryStateBase parent, Set<ReasonerAtomicQuery> visitedSubGoals, SimpleQueryCache<ReasonerAtomicQuery> cache)
ResolutionState	subGoal(ConceptMap sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, SimpleQueryCache<ReasonerAtomicQuery> cache)
String	toString()
ReasonerAtomicQuery	withSubstitution(ConceptMap 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, getVarTypeMap, hashCode, idTransform, isBoundlesslyDisconnected, isEquivalent, isRuleResolvable, isTypeRoleCompatible, requiresDecomposition, requiresReiteration, requiresSchema, resolve, rewrite, selectAtoms, 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(ConceptMap 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()

Overrides:

isAtomic in class ReasonerQueryImpl

Returns:

true if this query is atomic

getAtom

public Atom getAtom()

Returns:

the atom constituting this atomic query

getMultiUnifier

public MultiUnifier getMultiUnifier(ReasonerQuery p,
                                    UnifierComparison unifierType)

Specified by:

getMultiUnifier in interface ReasonerQuery

Overrides:

getMultiUnifier in class ReasonerQueryImpl

Throws:

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

materialise

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

materialise this query with the accompanying answer - persist to kb

Parameters:

answer - to be materialised

Returns:

stream of materialised answers

subGoal

public ResolutionState subGoal(ConceptMap sub,
                               Unifier u,
                               QueryStateBase parent,
                               Set<ReasonerAtomicQuery> subGoals,
                               SimpleQueryCache<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(ConceptMap sub)

Returns:

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

queryStateIterator

public Iterator<ResolutionState> queryStateIterator(QueryStateBase parent,
                                                    Set<ReasonerAtomicQuery> visitedSubGoals,
                                                    SimpleQueryCache<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