fr.lirmm.graphik.graal.api.forward_chaining

Interface RuleApplier<R extends Rule,A extends AtomSet>

All Superinterfaces:

DirectRuleApplier<R,A>

All Known Implementing Classes:

AbstractRuleApplier, DefaultRuleApplier, ExhaustiveRuleApplier, RestrictedChaseRuleApplier

public interface RuleApplier<R extends Rule,A extends AtomSet>
extends DirectRuleApplier<R,A>

Author:

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

Method Summary

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

Method Detail

apply

boolean apply(R rule,
              A atomSet)
       throws RuleApplicationException

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

Specified by:

apply in interface DirectRuleApplier<R extends Rule,A extends AtomSet>

Parameters:

rule -

atomSet -

Returns:

true iff the atom-set has been modified.

Throws:

RuleApplicationException

delegatedApply

CloseableIterator<Atom> delegatedApply(R rule,
                                       A atomSet)
                                throws RuleApplicationException

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

Parameters:

rule -

atomSet -

Returns:

An CloseableIterator over new generated atoms by the rule application.

Throws:

RuleApplicationException

delegatedApply

CloseableIterator<Atom> delegatedApply(R rule,
                                       A atomSetOnWichQuerying,
                                       A atomSetOnWichCheck)
                                throws RuleApplicationException

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.

Parameters:

rule -

atomSetOnWichQuerying -

atomSetOnWichCheck -

Returns:

An CloseableIterator over new generated atoms by the rule application.

Throws:

RuleApplicationException