org.apache.jena.reasoner.rulesys.impl

Class BBRuleContext

java.lang.Object

org.apache.jena.reasoner.rulesys.impl.BBRuleContext

All Implemented Interfaces:

RuleContext

public class BBRuleContext
extends Object
implements RuleContext

Implementation of RuleContext for use in the backward chaining interpreter. The RuleContext allows builtin predicates to interpret variable bindings to access the static triple data.

Constructor Summary

Constructors

Constructor and Description
BBRuleContext(BackwardRuleInfGraphI graph) Construct an empty context.

Method Summary

Modifier and Type	Method and Description
void	add(Triple t) Assert a new triple in the deduction graph, triggering any consequent processing as appropriate.
boolean	contains(Node s, Node p, Node o) Return true if the triple pattern is already in either the graph or the stack.
boolean	contains(Triple t) Return true if the triple is already in either the graph or the stack.
ClosableIterator<Triple>	find(Node s, Node p, Node o) In some formulations the context includes deductions that are not yet visible to the underlying graph but need to be checked for.
BindingEnvironment	getEnv() Returns the current variable binding environment for the current rule.
InfGraph	getGraph() Returns the parent inference graph.
Rule	getRule() Returns the rule.
Node	getTemp(Node instance, Node prop, Node pclass) Retrieve or create a bNode representing an inferred property value.
void	remove(Triple t) Remove a triple from the deduction graph (and the original graph if relevant).
void	setEnv(BindingEnvironment env) Set the binding environment for the this context
void	setRule(Rule rule) Sets the rule.
void	silentAdd(Triple t) Assert a new triple in the deduction graph, bypassing any processing machinery.

Methods inherited from class java.lang.Object

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

Constructor Detail

BBRuleContext

public BBRuleContext(BackwardRuleInfGraphI graph)

Construct an empty context. It can't be used until the rule and environment have been set.

Method Detail

contains

public boolean contains(Node s,
                        Node p,
                        Node o)

Description copied from interface: RuleContext

Return true if the triple pattern is already in either the graph or the stack. I.e. it has already been deduced.

Specified by:

contains in interface RuleContext

See Also:

RuleContext.contains(org.apache.jena.graph.Node, org.apache.jena.graph.Node, org.apache.jena.graph.Node)

contains

public boolean contains(Triple t)

Description copied from interface: RuleContext

Return true if the triple is already in either the graph or the stack. I.e. it has already been deduced.

Specified by:

contains in interface RuleContext

See Also:

RuleContext.contains(org.apache.jena.graph.Triple)

find

public ClosableIterator<Triple> find(Node s,
                                     Node p,
                                     Node o)

Description copied from interface: RuleContext

In some formulations the context includes deductions that are not yet visible to the underlying graph but need to be checked for.

Specified by:

find in interface RuleContext

See Also:

RuleContext.find(org.apache.jena.graph.Node, org.apache.jena.graph.Node, org.apache.jena.graph.Node)

getEnv

public BindingEnvironment getEnv()

Description copied from interface: RuleContext

Returns the current variable binding environment for the current rule.

Specified by:

getEnv in interface RuleContext

Returns:

BindingEnvironment

See Also:

RuleContext.getEnv()

setEnv

public void setEnv(BindingEnvironment env)

Set the binding environment for the this context

getGraph

public InfGraph getGraph()

Description copied from interface: RuleContext

Returns the parent inference graph.

Specified by:

getGraph in interface RuleContext

Returns:

InfGraph

See Also:

RuleContext.getGraph()

getRule

public Rule getRule()

Description copied from interface: RuleContext

Returns the rule.

Specified by:

getRule in interface RuleContext

Returns:

Rule

See Also:

RuleContext.getRule()

setRule

public void setRule(Rule rule)

Description copied from interface: RuleContext

Sets the rule.

Specified by:

setRule in interface RuleContext

Parameters:

rule - The rule to set

See Also:

RuleContext.setRule(org.apache.jena.reasoner.rulesys.Rule)

silentAdd

public void silentAdd(Triple t)

Assert a new triple in the deduction graph, bypassing any processing machinery.

Specified by:

silentAdd in interface RuleContext

add

public void add(Triple t)

Assert a new triple in the deduction graph, triggering any consequent processing as appropriate. In the backward case there no immediate consequences so this is equivalent to a silentAdd.

Specified by:

add in interface RuleContext

remove

public void remove(Triple t)

Remove a triple from the deduction graph (and the original graph if relevant).

Specified by:

remove in interface RuleContext

getTemp

public Node getTemp(Node instance,
                    Node prop,
                    Node pclass)

Retrieve or create a bNode representing an inferred property value. This is currently only available on backward contexts and not part of the normal RuleContext interface.

Parameters:

instance - the base instance node to which the property applies

prop - the property node whose value is being inferred

pclass - the (optional, can be null) class for the inferred value.

Returns:

the bNode representing the property value