ai.grakn.graql

Class Reasoner

java.lang.Object

ai.grakn.graql.Reasoner

public class Reasoner
extends Object

Constructor Summary

Constructors

Constructor and Description
Reasoner(GraknGraph graph)

Method Summary

Modifier and Type	Method and Description
static Set<Rule>	getRules(GraknGraph graph)
static boolean	hasRules(GraknGraph graph)
void	linkConceptTypes() Link all unlinked rules in the rule base to their matching types
void	precomputeInferences()
QueryAnswers	resolve(MatchQuery inputQuery)
QueryAnswers	resolve(MatchQuery inputQuery, boolean materialise) Resolve a given query using the rule base
MatchQuery	resolveToQuery(MatchQuery inputQuery) Materialised by default, BC reasoning
MatchQuery	resolveToQuery(MatchQuery inputQuery, boolean materialise) Resolve a given query using the rule base

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Reasoner

public Reasoner(GraknGraph graph)

Method Detail

getRules

public static Set<Rule> getRules(GraknGraph graph)

hasRules

public static boolean hasRules(GraknGraph graph)

linkConceptTypes

public void linkConceptTypes()

Link all unlinked rules in the rule base to their matching types

precomputeInferences

public void precomputeInferences()

resolve

public QueryAnswers resolve(MatchQuery inputQuery,
                            boolean materialise)

Resolve a given query using the rule base

Parameters:

inputQuery - the query string to be expanded

Returns:

set of answers

resolve

public QueryAnswers resolve(MatchQuery inputQuery)

resolveToQuery

public MatchQuery resolveToQuery(MatchQuery inputQuery,
                                 boolean materialise)

Resolve a given query using the rule base

Parameters:

inputQuery - the query string to be expanded

Returns:

MatchQuery with answers

resolveToQuery

public MatchQuery resolveToQuery(MatchQuery inputQuery)

Materialised by default, BC reasoning

Parameters:

inputQuery -

Returns:

query with answers