fr.lirmm.graphik.graal.forward_chaining.halting_condition

Class RestrictedChaseHaltingCondition

java.lang.Object

fr.lirmm.graphik.util.profiler.AbstractProfilable

fr.lirmm.graphik.graal.forward_chaining.halting_condition.RestrictedChaseHaltingCondition

All Implemented Interfaces:

ChaseHaltingCondition, Profilable

public class RestrictedChaseHaltingCondition
extends AbstractProfilable
implements ChaseHaltingCondition

This HaltingCondition will produce new data according to a rule, a substitution s and specified data if s cannot be extended to a homomorphism from B ∪ H to F where B is the rule body, H the rule HEAD and F the data.

Author:

Clément Sipieter (INRIA)

Constructor Summary

Constructors

Constructor and Description
RestrictedChaseHaltingCondition()

Method Summary

Modifier and Type	Method and Description
CloseableIterator<Atom>	apply(Rule rule, Substitution substitution, AtomSet data) This method should return the atoms to actually add.

Methods inherited from class fr.lirmm.graphik.util.profiler.AbstractProfilable

getProfiler, setProfiler

Methods inherited from class java.lang.Object

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

Constructor Detail

RestrictedChaseHaltingCondition

public RestrictedChaseHaltingCondition()

Method Detail

apply

public CloseableIterator<Atom> apply(Rule rule,
                                     Substitution substitution,
                                     AtomSet data)
                              throws HomomorphismFactoryException,
                                     HomomorphismException

Description copied from interface: ChaseHaltingCondition

This method should return the atoms to actually add.

Specified by:

apply in interface ChaseHaltingCondition

Parameters:

rule - The rule which is triggered

substitution - A homomorphism of the rule body found. The existential variables are not substitued.

data - The data over which this rule is applied.

Returns:

A full substitution or null if the application is reduntant. The returned substitution should substitutes all variables of the head of the rule.

Throws:

HomomorphismFactoryException

HomomorphismException