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

Class ReduciblePositiveAritySPARQLFunctionSymbolImpl

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

All Implemented Interfaces:

FunctionSymbol, Predicate, SPARQLFunctionSymbol

Direct Known Subclasses:

AbstractHashSPARQLFunctionSymbol, AbstractIsASPARQLFunctionSymbol, AbstractStrBeforeOrAfterSPARQLFunctionSymbol, AbstractSubStrSPARQLFunctionSymbol, AbstractUnaryBooleanSPARQLFunctionSymbol, AbstractUnaryStringSPARQLFunctionSymbol, ConcatSPARQLFunctionSymbolImpl, DatatypeSPARQLFunctionSymbolImpl, LangSPARQLFunctionSymbolImpl, MultitypedInputUnarySPARQLFunctionSymbolImpl, NumericBinarySPARQLFunctionSymbolImpl, RegexSPARQLFunctionSymbolImpl, ReplaceSPARQLFunctionSymbolImpl, SimpleUnarySPARQLFunctionSymbolImpl, StringBooleanBinarySPARQLFunctionSymbolImpl, StrlenSPARQLFunctionSymbolImpl, StrSPARQLFunctionSymbolImpl, UnaryNumericSPARQLFunctionSymbolImpl

public abstract class ReduciblePositiveAritySPARQLFunctionSymbolImpl
extends SPARQLFunctionSymbolImpl

The SPARQL function must be reducible to DB functions and RDF construction and testing functions Arity >= 1

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	ReduciblePositiveAritySPARQLFunctionSymbolImpl(String functionSymbolName, org.apache.commons.rdf.api.IRI functionIRI, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)
protected	ReduciblePositiveAritySPARQLFunctionSymbolImpl(String functionSymbolName, String officialName, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) By default, just build a new functional term.
protected abstract ImmutableTerm	computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm) Compute the lexical term when there is no input type error
protected abstract ImmutableTerm	computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableExpression.Evaluation	evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) MUST detect ALL the cases where the SPARQL function would produce an error (that is a NULL) ---> the resulting condition must determine if the output of the SPARQL function is NULL (evaluates to FALSE or NULL) or not (evaluates to TRUE).
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.SPARQLFunctionSymbolImpl

getIRI, getOfficialName

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

extractLexicalTerm, extractRDFTermTypeTerm, isRDFFunctionalTerm, mayReturnNullWithoutNullArguments

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, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, 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, canBePostProcessed, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, inferType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

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

getArity, getName

Constructor Detail

ReduciblePositiveAritySPARQLFunctionSymbolImpl

protected ReduciblePositiveAritySPARQLFunctionSymbolImpl(@Nonnull
                                                         String functionSymbolName,
                                                         @Nonnull
                                                         org.apache.commons.rdf.api.IRI functionIRI,
                                                         @Nonnull
                                                         com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)

ReduciblePositiveAritySPARQLFunctionSymbolImpl

protected ReduciblePositiveAritySPARQLFunctionSymbolImpl(@Nonnull
                                                         String functionSymbolName,
                                                         @Nonnull
                                                         String officialName,
                                                         @Nonnull
                                                         com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)

Method Detail

buildTermAfterEvaluation

protected final ImmutableTerm buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                       TermFactory termFactory,
                                                       VariableNullability variableNullability)

Description copied from class: FunctionSymbolImpl

By default, just build a new functional term. NB: If the function symbol does not tolerate NULL values, no need to handle them here.

Overrides:

buildTermAfterEvaluation in class FunctionSymbolImpl

tolerateNulls

protected boolean tolerateNulls()

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

Specified by:

tolerateNulls in class FunctionSymbolImpl

evaluateInputTypeError

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

MUST detect ALL the cases where the SPARQL function would produce an error (that is a NULL) ---> the resulting condition must determine if the output of the SPARQL function is NULL (evaluates to FALSE or NULL) or not (evaluates to TRUE). Default implementation, can be overridden

computeLexicalTerm

protected abstract ImmutableTerm computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms,
                                                    com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms,
                                                    TermFactory termFactory,
                                                    ImmutableTerm returnedTypeTerm)

Compute the lexical term when there is no input type error

computeTypeTerm

protected abstract ImmutableTerm computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms,
                                                 com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms,
                                                 TermFactory termFactory,
                                                 VariableNullability variableNullability)