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()
boolean	equals(Object obj)
Atom	getAtom()
MultiUnifier	getMultiUnifier(ReasonerQuery p)
protected java.util.stream.Stream<ReasonerQueryImpl>	getQueryStream(Answer sub)
Iterator<Pair<InferenceRule,Unifier>>	getRuleIterator()
int	hashCode()
ReasonerAtomicQuery	inferTypes()
boolean	isAtomic()
java.util.stream.Stream<Answer>	materialise(Answer answer) materialise this query with the accompanying answer - persist to kb
ReasonerAtomicQuery	positive()
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
AtomicState	subGoal(Answer sub, Unifier u, QueryState parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
String	toString()

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

getAtoms, getAtoms, getIdPredicate, getPattern, getQuery, getRoleSubstitution, getSubstitution, getVarNames, getVarTypeMap, getVarTypeMap, isEquivalent, isGround, isRuleResolvable, isTypeRoleCompatible, requiresReiteration, resolve, subGoals, tx, validateOntologically

Methods inherited from class java.lang.Object

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

Method Detail

copy

public ReasonerQuery copy()

Specified by:

copy in interface ReasonerQuery

Overrides:

copy in class ReasonerQueryImpl

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)

equals

public boolean equals(Object obj)

Overrides:

equals in class ReasonerQueryImpl

toString

public String toString()

Overrides:

toString in class ReasonerQueryImpl

hashCode

public int hashCode()

Overrides:

hashCode 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)

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<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 AtomicState subGoal(Answer sub,
                           Unifier u,
                           QueryState 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 atomic query obtained by inserting all inferred possible types (if ambiguous)

getRuleIterator

public Iterator<Pair<InferenceRule,Unifier>> getRuleIterator()

Returns:

iterator of all rules applicable to this atomic query including permuted cases when the role types are meta roles