it.unibz.inf.ontop.model.term.functionsymbol.impl

Class BoundSPARQLFunctionSymbolImpl

java.lang.Object

it.unibz.inf.ontop.model.term.impl.PredicateImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.SPARQLLikeFunctionSymbolImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.SPARQLFunctionSymbolImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.ReduciblePositiveAritySPARQLFunctionSymbolImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.AbstractUnaryBooleanSPARQLFunctionSymbol

it.unibz.inf.ontop.model.term.functionsymbol.impl.BoundSPARQLFunctionSymbolImpl

All Implemented Interfaces:

FunctionSymbol, Predicate, SPARQLFunctionSymbol

public class BoundSPARQLFunctionSymbolImpl
extends AbstractUnaryBooleanSPARQLFunctionSymbol

Nested Class Summary

Nested classes/interfaces inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BoundSPARQLFunctionSymbolImpl(RDFTermType rootRDFType, RDFDatatype xsdBooleanType)

Method Summary

Modifier and Type	Method and Description
protected ImmutableExpression	computeExpression(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
protected ImmutableExpression.Evaluation	evaluateInputTypeError(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) Never returns a NULL (SPARQL error)
boolean	isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms() When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)
protected boolean	mayReturnNullWithoutNullArguments() Default value for SPARQL functions as they may produce NULL due to SPARQL errors
protected boolean	tolerateNulls() By default, does not tolerate receiving NULLs (SPARQL errors) as input

Methods inherited from class it.unibz.inf.ontop.model.term.functionsymbol.impl.AbstractUnaryBooleanSPARQLFunctionSymbol

canBePostProcessed, computeLexicalTerm, computeTypeTerm, inferType

Methods inherited from class it.unibz.inf.ontop.model.term.functionsymbol.impl.ReduciblePositiveAritySPARQLFunctionSymbolImpl

buildTermAfterEvaluation

Methods inherited from class it.unibz.inf.ontop.model.term.functionsymbol.impl.SPARQLFunctionSymbolImpl

getIRI, getOfficialName

Methods inherited from class it.unibz.inf.ontop.model.term.functionsymbol.impl.SPARQLLikeFunctionSymbolImpl

extractLexicalTerm, extractRDFTermTypeTerm, isRDFFunctionalTerm

Methods inherited from class it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, transformIntoRegularArguments, tryToLiftMagicNumbers

Methods inherited from class it.unibz.inf.ontop.model.term.impl.PredicateImpl

equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

analyzeInjectivity, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.Predicate

getArity, getName

Constructor Detail

BoundSPARQLFunctionSymbolImpl

protected BoundSPARQLFunctionSymbolImpl(RDFTermType rootRDFType,
                                        RDFDatatype xsdBooleanType)

Method Detail

computeExpression

protected ImmutableExpression computeExpression(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms,
                                                TermFactory termFactory)

Specified by:

computeExpression in class AbstractUnaryBooleanSPARQLFunctionSymbol

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

public boolean isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms()

Description copied from class: FunctionSymbolImpl

When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)

Specified by:

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms in class FunctionSymbolImpl

evaluateInputTypeError

protected ImmutableExpression.Evaluation evaluateInputTypeError(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms,
                                                                it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms,
                                                                TermFactory termFactory,
                                                                VariableNullability variableNullability)

Never returns a NULL (SPARQL error)

Overrides:

evaluateInputTypeError in class ReduciblePositiveAritySPARQLFunctionSymbolImpl

mayReturnNullWithoutNullArguments

protected boolean mayReturnNullWithoutNullArguments()

Description copied from class: SPARQLLikeFunctionSymbolImpl

Default value for SPARQL functions as they may produce NULL due to SPARQL errors

Overrides:

mayReturnNullWithoutNullArguments in class SPARQLLikeFunctionSymbolImpl

tolerateNulls

protected boolean tolerateNulls()

Description copied from class: ReduciblePositiveAritySPARQLFunctionSymbolImpl

By default, does not tolerate receiving NULLs (SPARQL errors) as input

Overrides:

tolerateNulls in class ReduciblePositiveAritySPARQLFunctionSymbolImpl