Uses of Interface
it.unibz.inf.ontop.model.term.VariableOrGroundTerm

Packages that use VariableOrGroundTerm

Package	Description
it.unibz.inf.ontop.constraints
it.unibz.inf.ontop.iq
it.unibz.inf.ontop.iq.impl
it.unibz.inf.ontop.iq.node
it.unibz.inf.ontop.iq.node.impl
it.unibz.inf.ontop.iq.node.normalization.impl
it.unibz.inf.ontop.model.atom
it.unibz.inf.ontop.model.atom.impl
it.unibz.inf.ontop.model.term
it.unibz.inf.ontop.model.term.impl
it.unibz.inf.ontop.substitution
it.unibz.inf.ontop.substitution.impl

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.constraints

Methods in it.unibz.inf.ontop.constraints that return VariableOrGroundTerm

Modifier and Type	Method and Description
VariableOrGroundTerm	ImmutableHomomorphism.apply(VariableOrGroundTerm term)

Methods in it.unibz.inf.ontop.constraints that return types with arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableMap<Variable,VariableOrGroundTerm>	ImmutableHomomorphism.asMap()

Methods in it.unibz.inf.ontop.constraints with parameters of type VariableOrGroundTerm

Modifier and Type	Method and Description
VariableOrGroundTerm	ImmutableHomomorphism.apply(VariableOrGroundTerm term)

Method parameters in it.unibz.inf.ontop.constraints with type arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
ImmutableHomomorphism.Builder	ImmutableHomomorphism.Builder.extend(com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> from, com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> to)
ImmutableHomomorphism.Builder	ImmutableHomomorphism.Builder.extend(com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> from, com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> to)

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.iq

Method parameters in it.unibz.inf.ontop.iq with type arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
IQTree	IQTree.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint) Applies the descending substitution and performs SOME optimizations.
IQTree	IQTree.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution) Applies the descending substitution WITHOUT applying any additional optimization.

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.iq.impl

Methods in it.unibz.inf.ontop.iq.impl that return types with arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
protected Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>>	AbstractCompositeIQTree.normalizeDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>>	IQTreeTools.normalizeDescendingSubstitution(IQTree tree, ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution) Excludes the variables that are not projected by the IQTree If a "null" variable is propagated down, throws an UnsatisfiableDescendingSubstitutionException.

Method parameters in it.unibz.inf.ontop.iq.impl with type arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
IQTree	AbstractCompositeIQTree.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
IQTree	NaryIQTreeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
IQTree	BinaryNonCommutativeIQTreeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
IQTree	UnaryIQTreeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
protected IQTree	NaryIQTreeImpl.applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
protected abstract IQTree	AbstractCompositeIQTree.applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
protected IQTree	BinaryNonCommutativeIQTreeImpl.applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
protected IQTree	UnaryIQTreeImpl.applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
Optional<InjectiveVar2VarSubstitution>	IQTreeTools.extractFreshRenaming(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables) If the substitution is an fresh renaming, returns it as an injective substitution
protected Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>>	AbstractCompositeIQTree.normalizeDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>>	IQTreeTools.normalizeDescendingSubstitution(IQTree tree, ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution) Excludes the variables that are not projected by the IQTree If a "null" variable is propagated down, throws an UnsatisfiableDescendingSubstitutionException.

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.iq.node

Method parameters in it.unibz.inf.ontop.iq.node with type arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
IQTree	NaryOperatorNode.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	UnaryOperatorNode.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	BinaryOrderedOperatorNode.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree leftChild, IQTree rightChild)
IQTree	NaryOperatorNode.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	UnaryOperatorNode.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree child)
IQTree	BinaryOrderedOperatorNode.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree leftChild, IQTree rightChild)

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.iq.node.impl

Classes in it.unibz.inf.ontop.iq.node.impl with type parameters of type VariableOrGroundTerm

Modifier and Type	Class and Description
static class	ConstructionNodeImpl.PropagationResults<T extends VariableOrGroundTerm>

Method parameters in it.unibz.inf.ontop.iq.node.impl with type arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
IQTree	ExtendedProjectionNodeImpl.DescendingSubstitutionChildUpdateFunction.apply(IQTree child, ConstructionNodeImpl.PropagationResults<VariableOrGroundTerm> tauFPropagationResults)
IQTree	LeafIQTreeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint) NB: the constraint is irrelevant here
IQTree	InnerJoinNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	UnionNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	OrderByNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	DistinctNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	ExtendedProjectionNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	SliceNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	FilterNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	LeftJoinNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree leftChild, IQTree rightChild) NB: the constraint is only propagate to the left child
IQTree	TrueNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
IQTree	EmptyNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
IQTree	NativeNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
IQTree	DataNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
IQTree	InnerJoinNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	UnionNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	OrderByNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree child)
IQTree	DistinctNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree child)
IQTree	ExtendedProjectionNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree child)
IQTree	SliceNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree child)
IQTree	FilterNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree child)
IQTree	LeftJoinNodeImpl.applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree leftChild, IQTree rightChild)

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.iq.node.normalization.impl

Method parameters in it.unibz.inf.ontop.iq.node.normalization.impl with type arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
R	JoinLikeChildBindingLifter.BindingLiftConverter.convert(com.google.common.collect.ImmutableList<IQTree> liftedChildren, IQTree selectedGrandChild, int selectedChildPosition, Optional<ImmutableExpression> newCondition, ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.model.atom

Methods in it.unibz.inf.ontop.model.atom that return VariableOrGroundTerm

Modifier and Type	Method and Description
VariableOrGroundTerm	DataAtom.getTerm(int index)

Methods in it.unibz.inf.ontop.model.atom that return types with arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm>	DataAtom.getArguments()

Methods in it.unibz.inf.ontop.model.atom with parameters of type VariableOrGroundTerm

Modifier and Type	Method and Description
<P extends AtomPredicate> DataAtom<P>	AtomFactory.getDataAtom(P predicate, VariableOrGroundTerm... terms) Beware: a DataAtom is immutable
DataAtom<AtomPredicate>	AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject, org.apache.commons.rdf.api.IRI classIRI) TODO: change the generic-type to RDFAtomPredicate?
DataAtom<AtomPredicate>	AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject, org.apache.commons.rdf.api.IRI propertyIRI, VariableOrGroundTerm object) TODO: change the generic-type to RDFAtomPredicate?
DataAtom<AtomPredicate>	AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject, VariableOrGroundTerm property, VariableOrGroundTerm object) TODO: change the generic-type to RDFAtomPredicate?

Method parameters in it.unibz.inf.ontop.model.atom with type arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
<P extends AtomPredicate> DataAtom<P>	AtomFactory.getDataAtom(P predicate, com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> terms) Beware: a DataAtom is immutable

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.model.atom.impl

Methods in it.unibz.inf.ontop.model.atom.impl that return VariableOrGroundTerm

Modifier and Type	Method and Description
VariableOrGroundTerm	AbstractDataAtomImpl.getTerm(int index)

Methods in it.unibz.inf.ontop.model.atom.impl that return types with arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm>	AbstractDataAtomImpl.getArguments()

Methods in it.unibz.inf.ontop.model.atom.impl with parameters of type VariableOrGroundTerm

Modifier and Type	Method and Description
<P extends AtomPredicate> DataAtom<P>	AtomFactoryImpl.getDataAtom(P predicate, VariableOrGroundTerm... terms)
DataAtom<AtomPredicate>	AtomFactoryImpl.getIntensionalTripleAtom(VariableOrGroundTerm subject, org.apache.commons.rdf.api.IRI classIRI)
DataAtom<AtomPredicate>	AtomFactoryImpl.getIntensionalTripleAtom(VariableOrGroundTerm subject, org.apache.commons.rdf.api.IRI propertyIRI, VariableOrGroundTerm object)
DataAtom<AtomPredicate>	AtomFactoryImpl.getIntensionalTripleAtom(VariableOrGroundTerm subject, VariableOrGroundTerm property, VariableOrGroundTerm object)

Method parameters in it.unibz.inf.ontop.model.atom.impl with type arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
static boolean	DataAtomTools.areVariablesDistinct(com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> arguments) TODO: explain
<P extends AtomPredicate> DataAtom<P>	AtomFactoryImpl.getDataAtom(P predicate, com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> arguments)
static boolean	DataAtomTools.isVariableOnly(com.google.common.collect.ImmutableCollection<? extends VariableOrGroundTerm> arguments)

Constructors in it.unibz.inf.ontop.model.atom.impl with parameters of type VariableOrGroundTerm

Constructor and Description
AbstractDataAtomImpl(P predicate, VariableOrGroundTerm... variableOrGroundTerms)
DataAtomImpl(P predicate, VariableOrGroundTerm... variableOrGroundTerms)

Constructor parameters in it.unibz.inf.ontop.model.atom.impl with type arguments of type VariableOrGroundTerm

Constructor and Description
AbstractDataAtomImpl(P predicate, com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> variableOrGroundTerms)
DataAtomImpl(P predicate, com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> variableOrGroundTerms)

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.model.term

Subinterfaces of VariableOrGroundTerm in it.unibz.inf.ontop.model.term

Modifier and Type	Interface and Description
interface	BNode
interface	Constant This class defines a type of Term in which it has a constant value.
interface	DBConstant
interface	GroundFunctionalTerm Immutable ground functional term.
interface	GroundTerm Term that is not a variable nor contains any variable.
interface	IRIConstant Provides an interface for storing the IRI constant.
interface	NonFunctionalTerm "Class" grouping variables and constants.
interface	NonNullConstant
interface	ObjectConstant
interface	RDFConstant
interface	RDFLiteralConstant Provides an interface for storing the value constant.
interface	RDFTermTypeConstant When the RDF term types are "reified" as constants Should disappear from the query before its translation into a native query.
interface	Variable This class defines a type of Term in which it expresses a quantity that during a calculation is assumed to vary or be capable of varying in value.

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.model.term.impl

Classes in it.unibz.inf.ontop.model.term.impl that implement VariableOrGroundTerm

Modifier and Type	Class and Description
class	AbstractNonFunctionalTerm
class	AbstractNonNullConstant
class	BNodeConstantImpl Implementation for BNodes.
class	DBConstantImpl
class	GroundExpressionImpl
class	GroundFunctionalTermImpl
class	IRIConstantImpl Provides a storage to put the URI constant.
class	NullConstantImpl
class	RDFLiteralConstantImpl
class	RDFTermTypeConstantImpl
class	VariableImpl

Methods in it.unibz.inf.ontop.model.term.impl that return VariableOrGroundTerm

Modifier and Type	Method and Description
static VariableOrGroundTerm	ImmutabilityTools.convertIntoVariableOrGroundTerm(ImmutableTerm term)
VariableOrGroundTerm	ImmutabilityTools.convertIntoVariableOrGroundTerm(Term term)

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.substitution

Methods in it.unibz.inf.ontop.substitution that return types with arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
ImmutableSubstitution<VariableOrGroundTerm>	ImmutableSubstitution.getVariableOrGroundTermFragment()

Uses of VariableOrGroundTerm in it.unibz.inf.ontop.substitution.impl

Methods in it.unibz.inf.ontop.substitution.impl that return types with arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
Optional<ImmutableSubstitution<VariableOrGroundTerm>>	ImmutableUnificationTools.computeAtomMGU(DataAtom atom1, DataAtom atom2)
Optional<ImmutableSubstitution<VariableOrGroundTerm>>	ImmutableUnificationTools.computeAtomMGUS(ImmutableSubstitution<VariableOrGroundTerm> substitution1, ImmutableSubstitution<VariableOrGroundTerm> substitution2)
ImmutableSubstitution<VariableOrGroundTerm>	AbstractImmutableSubstitutionImpl.getVariableOrGroundTermFragment()

Method parameters in it.unibz.inf.ontop.substitution.impl with type arguments of type VariableOrGroundTerm

Modifier and Type	Method and Description
Optional<ImmutableSubstitution<VariableOrGroundTerm>>	ImmutableUnificationTools.computeAtomMGUS(ImmutableSubstitution<VariableOrGroundTerm> substitution1, ImmutableSubstitution<VariableOrGroundTerm> substitution2)
Optional<ImmutableSubstitution<VariableOrGroundTerm>>	ImmutableUnificationTools.computeAtomMGUS(ImmutableSubstitution<VariableOrGroundTerm> substitution1, ImmutableSubstitution<VariableOrGroundTerm> substitution2)