public abstract class AbstractRuleApplier<T extends AtomSet> extends Object implements RuleApplier<Rule,T>
Constructor and Description |
---|
AbstractRuleApplier()
Construct a DefaultRuleApplier with a
RestrictedChaseHaltingCondition and a SmartHomomorphism |
AbstractRuleApplier(ChaseHaltingCondition haltingCondition)
Construct a DefaultRuleApplier with the given HaltingCondition.
|
AbstractRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver)
Construct a DefaultRuleApplier with a
RestrictedChaseHaltingCondition and the given homomorphism solver. |
AbstractRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver,
ChaseHaltingCondition haltingCondition)
Construct a DefaultRuleApplier with the given HaltingCondition,
homomorphism solver and SymbolGenerator
|
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.
|
protected CloseableIterator<Substitution> |
executeQuery(ConjunctiveQuery query,
T atomSet) |
protected abstract ConjunctiveQuery |
generateQuery(Rule rule) |
protected ChaseHaltingCondition |
getHaltingCondition() |
public AbstractRuleApplier()
RestrictedChaseHaltingCondition
and a SmartHomomorphism
public AbstractRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver)
RestrictedChaseHaltingCondition
and the given homomorphism solver.public AbstractRuleApplier(ChaseHaltingCondition haltingCondition)
haltingCondition
- public AbstractRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver, ChaseHaltingCondition haltingCondition)
haltingCondition
- homomorphismSolver
- protected abstract ConjunctiveQuery generateQuery(Rule rule)
public boolean apply(Rule rule, T atomSet) throws RuleApplicationException
RuleApplier
apply
in interface DirectRuleApplier<Rule,T extends AtomSet>
apply
in interface RuleApplier<Rule,T extends AtomSet>
RuleApplicationException
public CloseableIterator<Atom> delegatedApply(Rule rule, T atomSet) throws RuleApplicationException
RuleApplier
delegatedApply
in interface RuleApplier<Rule,T extends AtomSet>
RuleApplicationException
public CloseableIterator<Atom> delegatedApply(Rule rule, T atomSetOnWichQuerying, T atomSetOnWichCheck) throws RuleApplicationException
RuleApplier
delegatedApply
in interface RuleApplier<Rule,T extends AtomSet>
RuleApplicationException
protected ChaseHaltingCondition getHaltingCondition()
protected CloseableIterator<Substitution> executeQuery(ConjunctiveQuery query, T atomSet) throws HomomorphismFactoryException, HomomorphismException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.