fr.lirmm.graphik.graal.forward_chaining.rule_applier

Class RestrictedChaseRuleApplier<T extends AtomSet>

java.lang.Object

fr.lirmm.graphik.graal.forward_chaining.rule_applier.RestrictedChaseRuleApplier<T>

All Implemented Interfaces:

DirectRuleApplier<Rule,T>, RuleApplier<Rule,T>

public class RestrictedChaseRuleApplier<T extends AtomSet>
extends Object
implements RuleApplier<Rule,T>

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Constructor Summary

Constructors

Constructor and Description
RestrictedChaseRuleApplier()

Method Summary

Modifier and Type	Method and Description
boolean	apply(Rule rule, T atomSet) Apply the given Rule over the given AtomSet, the new atoms are directly added into the AtomSet.
CloseableIterator<Atom>	delegatedApply(Rule rule, T atomSet) Apply the given Rule over the given AtomSet, the new generated atoms are returned as a CloseableIterator.
CloseableIterator<Atom>	delegatedApply(Rule rule, T atomSetOnWichQuerying, T atomSetOnWichCheck) Apply the given Rule over atomSetOnWichQuerying, the redundancy of the generated atoms will be checked over atomSetOnWichCheck.

Methods inherited from class java.lang.Object

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

Constructor Detail

RestrictedChaseRuleApplier

public RestrictedChaseRuleApplier()

Method Detail

apply

public boolean apply(Rule rule,
                     T atomSet)
              throws RuleApplicationException

Description copied from interface: RuleApplier

Apply the given Rule over the given AtomSet, the new atoms are directly added into the AtomSet.

Specified by:

apply in interface DirectRuleApplier<Rule,T extends AtomSet>

Specified by:

apply in interface RuleApplier<Rule,T extends AtomSet>

Returns:

true iff the atom-set has been modified.

Throws:

RuleApplicationException

delegatedApply

public CloseableIterator<Atom> delegatedApply(Rule rule,
                                              T atomSet)
                                       throws RuleApplicationException

Description copied from interface: RuleApplier

Apply the given Rule over the given AtomSet, the new generated atoms are returned as a CloseableIterator.

Specified by:

delegatedApply in interface RuleApplier<Rule,T extends AtomSet>

Returns:

An CloseableIterator over new generated atoms by the rule application.

Throws:

RuleApplicationException

delegatedApply

public CloseableIterator<Atom> delegatedApply(Rule rule,
                                              T atomSetOnWichQuerying,
                                              T atomSetOnWichCheck)
                                       throws RuleApplicationException

Description copied from interface: RuleApplier

Apply the given Rule over atomSetOnWichQuerying, the redundancy of the generated atoms will be checked over atomSetOnWichCheck. The new generated atoms are returned as a CloseableIterator.

Specified by:

delegatedApply in interface RuleApplier<Rule,T extends AtomSet>

Returns:

An CloseableIterator over new generated atoms by the rule application.

Throws:

RuleApplicationException