ai.grakn.graql.internal.reasoner

Class Reasoner

java.lang.Object

ai.grakn.graql.internal.reasoner.Reasoner

public class Reasoner
extends Object

Class providing top level reasoning interface and functionalities.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
Reasoner()

Method Summary

Modifier and Type	Method and Description
static Set<Rule>	getRules(GraknGraph graph)
static void	linkConceptTypes(GraknGraph graph) Link all unlinked rules in the rule base to their matching types
static void	precomputeInferences(GraknGraph graph) materialise all possible inferences
static java.util.stream.Stream<Map<VarName,Concept>>	resolve(MatchQuery inputQuery, boolean materialise) Resolve a given general graql query using the knowledge base

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

getRules

public static Set<Rule> getRules(GraknGraph graph)

Parameters:

graph - to be checked against

Returns:

set of inference rule contained in the graph

linkConceptTypes

public static void linkConceptTypes(GraknGraph graph)

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

Parameters:

graph - for the linking to be performed

precomputeInferences

public static void precomputeInferences(GraknGraph graph)

materialise all possible inferences

resolve

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

Resolve a given general graql query using the knowledge base

Parameters:

inputQuery - the query string to be resolved

materialise - materialisation flag

Returns:

stream of answers