ai.grakn.graql.internal.reasoner.query

Class ReasonerQueryImpl

java.lang.Object

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

All Implemented Interfaces:

ReasonerQuery

Direct Known Subclasses:

ReasonerAtomicQuery

public class ReasonerQueryImpl
extends Object
implements ReasonerQuery

Base reasoner query providing resolution and atom handling facilities for conjunctive graql queries.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ReasonerQueryImpl(Atom atom)
protected	ReasonerQueryImpl(Conjunction<VarPatternAdmin> pattern, GraknGraph graph)

Method Summary

Modifier and Type	Method and Description
void	addAtomConstraints(Set<? extends Atomic> cstrs) adds a set of constraints (types, predicates) to the atom set
boolean	addAtomic(Atomic atom)
ReasonerQuery	copy()
boolean	equals(Object obj)
Atom	findNextJoinable(Atom atom)
Set<Atomic>	getAtoms()
Set<NotEquals>	getFilters()
IdPredicate	getIdPredicate(Var var)
Set<IdPredicate>	getIdPredicates()
MatchQuery	getMatchQuery()
Conjunction<PatternAdmin>	getPattern()
Set<TypeAtom>	getTypeConstraints()
Unifier	getUnifier(ReasonerQuery parent)
Set<ValuePredicate>	getValuePredicates()
Set<Var>	getVarNames()
Map<Var,Type>	getVarTypeMap()
GraknGraph	graph()
int	hashCode()
boolean	isEquivalent(ReasonerQueryImpl q)
boolean	isRuleResolvable()
Iterator<Answer>	iterator(Answer sub, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
boolean	removeAtomic(Atomic atom)
int	resolutionPriority()
java.util.stream.Stream<Answer>	resolve(boolean materialise, boolean explanation)
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
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ReasonerQueryImpl

protected ReasonerQueryImpl(Conjunction<VarPatternAdmin> pattern,
                            GraknGraph graph)

ReasonerQueryImpl

protected ReasonerQueryImpl(Atom atom)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

copy

public ReasonerQuery copy()

Specified by:

copy in interface ReasonerQuery

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

resolutionPriority

public int resolutionPriority()

Returns:

the normalised priority of this query based on its atom content

graph

public GraknGraph graph()

Specified by:

graph in interface ReasonerQuery

getPattern

public Conjunction<PatternAdmin> getPattern()

Specified by:

getPattern in interface ReasonerQuery

isRuleResolvable

public boolean isRuleResolvable()

Specified by:

isRuleResolvable in interface ReasonerQuery

Returns:

true if any of the atoms constituting the query can be resolved through a rule

getAtoms

public Set<Atomic> getAtoms()

Specified by:

getAtoms in interface ReasonerQuery

Returns:

atom set constituting this query

getIdPredicates

public Set<IdPredicate> getIdPredicates()

Returns:

set of id predicates contained in this query

getValuePredicates

public Set<ValuePredicate> getValuePredicates()

Returns:

set of value predicates contained in this query

getTypeConstraints

public Set<TypeAtom> getTypeConstraints()

Returns:

set of atoms constituting constraints (by means of types) for this query

getFilters

public Set<NotEquals> getFilters()

Returns:

set of filter atoms (currently only NotEquals) contained in this query

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface ReasonerQuery

Returns:

set of variables appearing in this query

getUnifier

public Unifier getUnifier(ReasonerQuery parent)

Specified by:

getUnifier in interface ReasonerQuery

getMatchQuery

public MatchQuery getMatchQuery()

Specified by:

getMatchQuery in interface ReasonerQuery

Returns:

corresponding MatchQuery

getVarTypeMap

public Map<Var,Type> getVarTypeMap()

Specified by:

getVarTypeMap in interface ReasonerQuery

Returns:

map of variable name - type pairs

getIdPredicate

public IdPredicate getIdPredicate(Var var)

Parameters:

var - variable name

Returns:

id predicate for the specified var name if any

addAtomic

public boolean addAtomic(Atomic atom)

Parameters:

atom - to be added

Returns:

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

removeAtomic

public boolean removeAtomic(Atomic atom)

Parameters:

atom - to be removed

Returns:

true if the atom set contained the specified atom

addAtomConstraints

public void addAtomConstraints(Set<? extends Atomic> cstrs)

adds a set of constraints (types, predicates) to the atom set

Parameters:

cstrs - set of constraints

findNextJoinable

public Atom findNextJoinable(Atom atom)

Parameters:

atom - for which the neighbour is to be found

Returns:

neighbour or null if disjoint

selectAtoms

public Set<Atom> selectAtoms()

atom selection function

Returns:

selected atoms

isEquivalent

public boolean isEquivalent(ReasonerQueryImpl q)

Parameters:

q - query to be compared with

Returns:

true if two queries are alpha-equivalent

resolve

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

Specified by:

resolve in interface ReasonerQuery

resolve

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

resolves the query

Parameters:

materialise - materialisation flag

Returns:

stream of answers

iterator

public Iterator<Answer> iterator(Answer sub,
                                 Set<ReasonerAtomicQuery> subGoals,
                                 QueryCache<ReasonerAtomicQuery> cache)