ai.grakn.graql.admin

Interface ReasonerQuery

All Known Implementing Classes:

ReasonerAtomicQuery, ReasonerQueryImpl

public interface ReasonerQuery

Interface for conjunctive reasoner queries.

Author:

Kasper Piskorski

Method Summary

Modifier and Type	Method and Description
ReasonerQuery	copy()
Set<Atomic>	getAtoms()
MatchQuery	getMatchQuery()
Conjunction<PatternAdmin>	getPattern()
Unifier	getUnifier(ReasonerQuery parent)
Set<VarName>	getVarNames()
Map<VarName,Type>	getVarTypeMap()
GraknGraph	graph()
boolean	isRuleResolvable()
java.util.stream.Stream<Answer>	resolve(boolean materialise, boolean explanation) resolves the query
void	unify(Unifier unifier) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i})
void	unify(VarName from, VarName to) change each variable occurrence in the query (apply unifier [from/to])

Method Detail

copy

ReasonerQuery copy()

graph

GraknGraph graph()

Returns:

GraknGraph associated with this reasoner query

getPattern

Conjunction<PatternAdmin> getPattern()

Returns:

conjunctive pattern corresponding to this reasoner query

getVarNames

Set<VarName> getVarNames()

Returns:

set of variable names present in this reasoner query

getAtoms

Set<Atomic> getAtoms()

Returns:

atom set constituting this reasoner query

getMatchQuery

MatchQuery getMatchQuery()

Returns:

corresponding MatchQuery

isRuleResolvable

boolean isRuleResolvable()

Returns:

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

unify

void unify(VarName from,
           VarName to)

change each variable occurrence in the query (apply unifier [from/to])

Parameters:

from - variable name to be changed

to - new variable name

unify

void unify(Unifier unifier)

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

Parameters:

unifier - (variable mappings) to be applied

getUnifier

Unifier getUnifier(ReasonerQuery parent)

Returns:

resolve

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

resolves the query

Parameters:

materialise - materialisation flag

explanation - whether to provide explanation

Returns:

stream of answers

getVarTypeMap

Map<VarName,Type> getVarTypeMap()

Returns:

map of variable name - corresponding type pairs