ai.grakn.graql.internal.reasoner

Class Reasoner

java.lang.Object

ai.grakn.graql.internal.reasoner.Reasoner

public class Reasoner
extends Object

Class providing reasoning utility functions.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
Reasoner()

Method Summary

Modifier and Type	Method and Description
static void	commitGraph(GraknGraph graph)
static int	getCommitFrequency()
static Set<Rule>	getRules(GraknGraph graph)
static boolean	hasRules(GraknGraph graph)
static void	precomputeInferences(GraknGraph graph) materialise all possible inferences
static void	setCommitFrequency(int freq)

Methods inherited from class java.lang.Object

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

Constructor Detail

Reasoner

public Reasoner()

Method Detail

commitGraph

public static void commitGraph(GraknGraph graph)

setCommitFrequency

public static void setCommitFrequency(int freq)

getCommitFrequency

public static int getCommitFrequency()

getRules

public static Set<Rule> getRules(GraknGraph graph)

Parameters:

graph - to be checked against

Returns:

set of inference rule contained in the graph

hasRules

public static boolean hasRules(GraknGraph graph)

Parameters:

graph - to be checked against

Returns:

true if at least one inference rule is present in the graph

precomputeInferences

public static void precomputeInferences(GraknGraph graph)

materialise all possible inferences