ai.grakn.graql.internal.reasoner.explanation

Class RuleExplanation

java.lang.Object

ai.grakn.graql.internal.reasoner.explanation.QueryExplanation

ai.grakn.graql.internal.reasoner.explanation.RuleExplanation

All Implemented Interfaces:

Explanation

public class RuleExplanation
extends QueryExplanation

Explanation class for rule application.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
RuleExplanation(ReasonerQuery q, InferenceRule rl)

Method Summary

Modifier and Type	Method and Description
Explanation	childOf(ConceptMap ans)
InferenceRule	getRule()
boolean	isRuleExplanation()
Explanation	setQuery(ReasonerQuery q)

Methods inherited from class ai.grakn.graql.internal.reasoner.explanation.QueryExplanation

deductions, explicit, getAnswers, getQuery, isEmpty, isJoinExplanation, isLookupExplanation

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleExplanation

public RuleExplanation(ReasonerQuery q,
                       InferenceRule rl)

Method Detail

setQuery

public Explanation setQuery(ReasonerQuery q)

Specified by:

setQuery in interface Explanation

Overrides:

setQuery in class QueryExplanation

childOf

public Explanation childOf(ConceptMap ans)

Specified by:

childOf in interface Explanation

Overrides:

childOf in class QueryExplanation

isRuleExplanation

public boolean isRuleExplanation()

Specified by:

isRuleExplanation in interface Explanation

Overrides:

isRuleExplanation in class QueryExplanation

getRule

public InferenceRule getRule()