it.unibz.inf.ontop.substitution

Interface IndempotentVar2VarSubstitution

All Superinterfaces:

ImmutableSubstitution<Variable>, ProtoSubstitution<Variable>, Var2VarSubstitution

All Known Implementing Classes:

IndempotentVar2VarSubstitutionImpl

public interface IndempotentVar2VarSubstitution
extends Var2VarSubstitution

Var-to-var substitution S satisfying the indempotency property: S(x) = S(S(x) = S(S(S(...S(x)...))) Concretely it means that its domain and its range do not intersect.

Method Summary

Methods inherited from interface it.unibz.inf.ontop.substitution.Var2VarSubstitution

applyToNonGroundTerm, applyToSubstitution, applyToTerm, applyToVariable, composeWithVar2Var

Methods inherited from interface it.unibz.inf.ontop.substitution.ImmutableSubstitution

applyToDataAtom, applyToDistinctVariableOnlyDataAtom, applyToTarget, composeWith, composeWith2, convertIntoBooleanExpression, getFunctionalTermFragment, getGroundFunctionalTermFragment, getGroundTermFragment, getNonFunctionalTermFragment, getNonGroundFunctionalTermFragment, getNonVariableTermFragment, getVar2VarFragment, getVariableOrGroundTermFragment, orientate, reduceDomainToIntersectionWith, simplifyValues, simplifyValues, union, unionHeterogeneous

Methods inherited from interface it.unibz.inf.ontop.substitution.ProtoSubstitution

apply, apply, applyToBooleanExpression, applyToFunctionalTerm, get, getDomain, getImmutableMap, isDefining, isEmpty