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(InferenceRule r)
InferenceRule(Rule rule, GraknGraph graph)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
ReasonerQueryImpl	getBody()
ReasonerAtomicQuery	getHead()
Atom	getRuleConclusionAtom()
ConceptId	getRuleId()
boolean	hasDisconnectedHead()
int	hashCode()
InferenceRule	propagateConstraints(Atom parentAtom)
boolean	requiresMaterialisation() rule needs to be materialised if head atom requires materialisation or if its head contains only fresh variables
String	toString()
InferenceRule	unify(Atom parentAtom) make rule consistent variable-wise with the parent atom by means of unification
InferenceRule	unify(Unifier unifier)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

InferenceRule

public InferenceRule(Rule rule,
                     GraknGraph graph)

InferenceRule

public InferenceRule(InferenceRule r)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getRuleId

public ConceptId getRuleId()

hasDisconnectedHead

public boolean hasDisconnectedHead()

Returns:

true if head and body do not share any variables

requiresMaterialisation

public boolean requiresMaterialisation()

rule needs to be materialised if head atom requires materialisation or if its head contains only fresh variables

Returns:

true if the rule needs to be materialised

getBody

public ReasonerQueryImpl getBody()

Returns:

body of the rule of the form head :- body

getHead

public ReasonerAtomicQuery 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

propagateConstraints

public InferenceRule propagateConstraints(Atom parentAtom)

Parameters:

parentAtom - from which constrained are propagated

Returns:

the inference rule with constraints

unify

public InferenceRule unify(Unifier unifier)

Parameters:

unifier - to be applied on this rule

Returns:

unified rule

unify

public InferenceRule 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