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
Set<Atomic>	getAtoms()
Conjunction<PatternAdmin>	getPattern()
Map<VarName,VarName>	getUnifiers(ReasonerQuery parent)
Set<VarName>	getVarNames()
Map<VarName,Type>	getVarTypeMap()
GraknGraph	graph()
boolean	isRuleResolvable()
java.util.stream.Stream<Map<VarName,Concept>>	resolve(boolean materialise) resolves the query
void	unify(Map<VarName,VarName> unifiers) 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

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

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(Map<VarName,VarName> unifiers)

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

Parameters:

unifiers - contain unifiers (variable mappings) to be applied

getUnifiers

Map<VarName,VarName> getUnifiers(ReasonerQuery parent)

Returns:

resolve

java.util.stream.Stream<Map<VarName,Concept>> resolve(boolean materialise)

resolves the query

Parameters:

materialise - materialisation flag

Returns:

stream of answers

getVarTypeMap

Map<VarName,Type> getVarTypeMap()

Returns:

map of variable name - corresponding type pairs