Examples with Chase fr.lirmm.graphik.graal.api.forward_chaining.Chase used on opensource projects

Example 11 with Chase

use of fr.lirmm.graphik.graal.api.forward_chaining.Chase in project graal by graphik-team.

the class DefaultKnowledgeBase method semiSaturate.

@Override
public void semiSaturate() throws KnowledgeBaseException {
    if (!this.isSemiSaturated) {
        this.compileRule();
        Chase chase = new BreadthFirstChase(this.ruleCompilation.getSaturation(), this.store);
        chase.setProfiler(this.getProfiler());
        try {
            chase.next();
        } catch (ChaseException e) {
            throw new KnowledgeBaseException(e);
        }
        this.isSemiSaturated = true;
    }
}

Example 12 with Chase

use of fr.lirmm.graphik.graal.api.forward_chaining.Chase in project graal by graphik-team.

the class StaticChase method executeChase.

public static void executeChase(AtomSet atomSet, Iterable<Rule> ruleSet, RuleApplier<Rule, AtomSet> ruleApplier) throws ChaseException {
    Chase chase = new SccChase<AtomSet>(ruleSet.iterator(), atomSet, ruleApplier);
    chase.execute();
}

Example 13 with Chase

use of fr.lirmm.graphik.graal.api.forward_chaining.Chase in project graal by graphik-team.

the class StaticChase method executeChase.

public static void executeChase(AtomSet atomSet, Iterable<Rule> ruleSet) throws ChaseException {
    Chase chase = new SccChase<AtomSet>(ruleSet.iterator(), atomSet);
    chase.execute();
}

Example 14 with Chase

use of fr.lirmm.graphik.graal.api.forward_chaining.Chase in project graal by graphik-team.

the class StaticChase method executeOneStepChase.

public static void executeOneStepChase(AtomSet atomSet, Iterable<Rule> ruleSet) throws ChaseException {
    Chase chase = new SccChase<AtomSet>(ruleSet.iterator(), atomSet);
    chase.next();
}