it.unibz.inf.ontop.substitution

Interface InjectiveVar2VarSubstitution

All Superinterfaces:

ImmutableSubstitution<Variable>, ProtoSubstitution<Variable>, Var2VarSubstitution

All Known Implementing Classes:

InjectiveVar2VarSubstitutionImpl

public interface InjectiveVar2VarSubstitution
extends Var2VarSubstitution

Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)

Method Summary

Modifier and Type	Method and Description
<T extends ImmutableTerm> ImmutableSubstitution<T>	applyRenaming(ImmutableSubstitution<T> substitutionToRename) Applies it (the Var2VarSubstitution) on the keys and values of the given substitution.
DistinctVariableOnlyDataAtom	applyToDistinctVariableOnlyDataAtom(DistinctVariableOnlyDataAtom projectionAtom)
Optional<InjectiveVar2VarSubstitution>	composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution otherSubstitution, Set<Variable> variablesToExcludeFromTheDomain) { (x,y) | (x,y) \in (this o otherSubstitution), x not excluded } Returns Optional.empty() when the resulting substitution is not injective (anymore).
InjectiveVar2VarSubstitution	reduceDomainToIntersectionWith(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> restrictingDomain) Reduces the substitution's domain to its intersection with the argument domain

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

applyToNonGroundTerm, applyToTarget, applyToTerm, applyToVariable

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

applyToArgumentMap, applyToDataAtom, composeWith, composeWith2, getFragment, orientate, simplifyValues, simplifyValues, union

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

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

Method Detail

applyRenaming

<T extends ImmutableTerm> ImmutableSubstitution<T> applyRenaming(ImmutableSubstitution<T> substitutionToRename)

Applies it (the Var2VarSubstitution) on the keys and values of the given substitution.

applyToDistinctVariableOnlyDataAtom

DistinctVariableOnlyDataAtom applyToDistinctVariableOnlyDataAtom(DistinctVariableOnlyDataAtom projectionAtom)
                                                          throws ConversionException

Throws:

ConversionException

composeWithAndPreserveInjectivity

Optional<InjectiveVar2VarSubstitution> composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution otherSubstitution,
                                                                         Set<Variable> variablesToExcludeFromTheDomain)

{ (x,y) | (x,y) \in (this o otherSubstitution), x not excluded } Returns Optional.empty() when the resulting substitution is not injective (anymore). Variables to exclude from the domain are typically fresh temporary variables that can be ignored. Ignoring them is sufficient in many cases to guarantee that the substitution is injective.

reduceDomainToIntersectionWith

InjectiveVar2VarSubstitution reduceDomainToIntersectionWith(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> restrictingDomain)

Description copied from interface: ImmutableSubstitution

Reduces the substitution's domain to its intersection with the argument domain

Specified by:

reduceDomainToIntersectionWith in interface ImmutableSubstitution<Variable>