ai.grakn.graql.internal.reasoner.rule

Class InferenceRule

java.lang.Object

ai.grakn.graql.internal.reasoner.rule.InferenceRule

public class InferenceRule
extends Object

Class providing resolution and higher level facilities for rule objects.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
InferenceRule(Rule rule, GraknGraph graph)

Method Summary

Modifier and Type	Method and Description
Query	getBody()
AtomicQuery	getHead()
Atom	getRuleConclusionAtom()
void	unify(Atom parentAtom) make rule consistent variable-wise with the parent atom by means of unification

Methods inherited from class java.lang.Object

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

Constructor Detail

InferenceRule

public InferenceRule(Rule rule,
                     GraknGraph graph)

Method Detail

getBody

public Query getBody()

Returns:

body of the rule of the form head :- body

getHead

public AtomicQuery getHead()

Returns:

head of the rule of the form head :- body

getRuleConclusionAtom

public Atom getRuleConclusionAtom()

Returns:

a conclusion atom which parent contains all atoms in the rule

unify

public void unify(Atom parentAtom)

make rule consistent variable-wise with the parent atom by means of unification

Parameters:

parentAtom - atom the rule should be unified with