ai.grakn.graql.internal.reasoner.rule

Class RuleUtils

java.lang.Object

ai.grakn.graql.internal.reasoner.rule.RuleUtils

public class RuleUtils
extends Object

Convenience class providing methods for operating with the rule graph.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
RuleUtils()

Method Summary

Modifier and Type	Method and Description
static Set<InferenceRule>	getDependentRules(ReasonerQueryImpl query)
static Set<Rule>	getDependentRules(Set<Type> topTypes)
static java.util.stream.Stream<Rule>	getRules(GraknTx graph)
static java.util.stream.Stream<Rule>	getRulesWithType(SchemaConcept type, GraknTx graph)
static boolean	hasRules(GraknTx graph)
static boolean	subGraphHasLoops(Set<InferenceRule> rules, GraknTx graph)
static boolean	subGraphHasLoopsWithNegativeFlux(Set<InferenceRule> rules, GraknTx graph)
static boolean	subGraphHasRulesWithHeadSatisfyingBody(Set<InferenceRule> rules)

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleUtils

public RuleUtils()

Method Detail

getRules

public static java.util.stream.Stream<Rule> getRules(GraknTx graph)

Parameters:

graph - of interest

Returns:

set of inference rule contained in the graph

hasRules

public static boolean hasRules(GraknTx graph)

Parameters:

graph - of interest

Returns:

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

getRulesWithType

public static java.util.stream.Stream<Rule> getRulesWithType(SchemaConcept type,
                                                             GraknTx graph)

Parameters:

type - for which rules containing it in the head are sought

graph - of interest

Returns:

rules containing specified type in the head

subGraphHasLoops

public static boolean subGraphHasLoops(Set<InferenceRule> rules,
                                       GraknTx graph)

Parameters:

rules - set of rules of interest forming a rule subgraph

graph - of interest

Returns:

true if the rule subgraph formed from provided rules contains loops

subGraphHasLoopsWithNegativeFlux

public static boolean subGraphHasLoopsWithNegativeFlux(Set<InferenceRule> rules,
                                                       GraknTx graph)

Parameters:

rules - set of rules of interest forming a rule subgraph

graph - of interest

Returns:

true if the rule subgraph formed from provided rules contains loops with negative net flux (appears in more rule heads than bodies)

subGraphHasRulesWithHeadSatisfyingBody

public static boolean subGraphHasRulesWithHeadSatisfyingBody(Set<InferenceRule> rules)

Parameters:

rules - set of rules of interest forming a rule subgraph

Returns:

true if the rule subgraph formed from provided rules contains any rule with head satisfying the body pattern

getDependentRules

public static Set<Rule> getDependentRules(Set<Type> topTypes)

Parameters:

topTypes - entry types in the rule graph

Returns:

all rules that are reachable from the entry types

getDependentRules

public static Set<InferenceRule> getDependentRules(ReasonerQueryImpl query)

Parameters:

query - top query

Returns:

all rules that are reachable from the entry types