fr.lirmm.graphik.graal.forward_chaining

Class BreadthFirstChase

java.lang.Object

fr.lirmm.graphik.graal.api.forward_chaining.AbstractChase<Rule,AtomSet>

fr.lirmm.graphik.graal.forward_chaining.BreadthFirstChase

All Implemented Interfaces:

Chase, Profilable

public class BreadthFirstChase
extends AbstractChase<Rule,AtomSet>

This chase (forward-chaining) algorithm iterates over all rules at each step. It stops if a step does not produce new facts.

Author:

Clément Sipieter (INRIA)

Constructor Summary

Constructors

Constructor and Description
BreadthFirstChase(Iterable<Rule> rules, AtomSet atomSet)
BreadthFirstChase(Iterable<Rule> rules, AtomSet atomSet, ChaseHaltingCondition haltingCondition)
BreadthFirstChase(Iterable<Rule> rules, AtomSet atomSet, Homomorphism<ConjunctiveQuery,AtomSet> solver)
BreadthFirstChase(Iterable<Rule> rules, AtomSet atomSet, Homomorphism<ConjunctiveQuery,AtomSet> solver, ChaseHaltingCondition haltingCondition)
BreadthFirstChase(Iterable<Rule> rules, AtomSet atomSet, RuleApplier<Rule,AtomSet> ruleApplier)
BreadthFirstChase(Iterator<Rule> rules, AtomSet atomSet)
BreadthFirstChase(Iterator<Rule> rules, AtomSet atomSet, RuleApplier<Rule,AtomSet> ruleApplier)

Method Summary

Modifier and Type	Method and Description
protected void	dispatchNewData(Collection<Atom> newData)
boolean	hasNext()
void	next() Execute the next step of the saturation process.

Methods inherited from class fr.lirmm.graphik.graal.api.forward_chaining.AbstractChase

execute, execute, getProfiler, getRuleApplier, setProfiler, setRuleApplier

Methods inherited from class java.lang.Object

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

Constructor Detail

BreadthFirstChase

public BreadthFirstChase(Iterator<Rule> rules,
                         AtomSet atomSet)

BreadthFirstChase

public BreadthFirstChase(Iterable<Rule> rules,
                         AtomSet atomSet)

BreadthFirstChase

public BreadthFirstChase(Iterator<Rule> rules,
                         AtomSet atomSet,
                         RuleApplier<Rule,AtomSet> ruleApplier)

BreadthFirstChase

public BreadthFirstChase(Iterable<Rule> rules,
                         AtomSet atomSet,
                         RuleApplier<Rule,AtomSet> ruleApplier)

BreadthFirstChase

public BreadthFirstChase(Iterable<Rule> rules,
                         AtomSet atomSet,
                         Homomorphism<ConjunctiveQuery,AtomSet> solver)

BreadthFirstChase

public BreadthFirstChase(Iterable<Rule> rules,
                         AtomSet atomSet,
                         ChaseHaltingCondition haltingCondition)

BreadthFirstChase

public BreadthFirstChase(Iterable<Rule> rules,
                         AtomSet atomSet,
                         Homomorphism<ConjunctiveQuery,AtomSet> solver,
                         ChaseHaltingCondition haltingCondition)

Method Detail

next

public void next()
          throws ChaseException

Description copied from interface: Chase

Execute the next step of the saturation process.

Throws:

ChaseException

hasNext

public boolean hasNext()

Returns:

true if the saturation process needs other steps.

dispatchNewData

protected void dispatchNewData(Collection<Atom> newData)
                        throws ChaseException

Throws:

ChaseException