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

Class StringBooleanBinarySPARQLFunctionSymbolImpl

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.StringBooleanBinarySPARQLFunctionSymbolImpl

All Implemented Interfaces:

FunctionSymbol, Predicate, SPARQLFunctionSymbol

Direct Known Subclasses:

ContainsSPARQLFunctionSymbolImpl, EndsWithSPARQLFunctionSymbolImpl, LangMatchesSPARQLFunctionSymbolImpl, StartsWithSPARQLFunctionSymbolImpl

public abstract class StringBooleanBinarySPARQLFunctionSymbolImpl
extends ReduciblePositiveAritySPARQLFunctionSymbolImpl

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	StringBooleanBinarySPARQLFunctionSymbolImpl(String functionSymbolName, org.apache.commons.rdf.api.IRI functionIRI, RDFDatatype xsdStringType, RDFDatatype xsdBooleanType)
protected	StringBooleanBinarySPARQLFunctionSymbolImpl(String functionSymbolName, String officialName, RDFDatatype xsdStringType, RDFDatatype xsdBooleanType)

Method Summary

Modifier and Type	Method and Description
protected abstract ImmutableTerm	computeDBBooleanTerm(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	computeLexicalTerm(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm) Compute the lexical term when there is no input type error
protected ImmutableTerm	computeTypeTerm(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
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) 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).
Optional<TermTypeInference>	inferType(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
boolean	isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms() When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)

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

buildTermAfterEvaluation, tolerateNulls

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, 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, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

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

getArity, getName

Constructor Detail

StringBooleanBinarySPARQLFunctionSymbolImpl

protected StringBooleanBinarySPARQLFunctionSymbolImpl(@Nonnull
                                                      String functionSymbolName,
                                                      @Nonnull
                                                      org.apache.commons.rdf.api.IRI functionIRI,
                                                      RDFDatatype xsdStringType,
                                                      RDFDatatype xsdBooleanType)

StringBooleanBinarySPARQLFunctionSymbolImpl

protected StringBooleanBinarySPARQLFunctionSymbolImpl(@Nonnull
                                                      String functionSymbolName,
                                                      @Nonnull
                                                      String officialName,
                                                      RDFDatatype xsdStringType,
                                                      RDFDatatype xsdBooleanType)

Method Detail

inferType

public Optional<TermTypeInference> inferType(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

computeLexicalTerm

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

Description copied from class: ReduciblePositiveAritySPARQLFunctionSymbolImpl

Compute the lexical term when there is no input type error

Specified by:

computeLexicalTerm in class ReduciblePositiveAritySPARQLFunctionSymbolImpl

computeDBBooleanTerm

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

computeTypeTerm

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

Specified by:

computeTypeTerm in class ReduciblePositiveAritySPARQLFunctionSymbolImpl

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)

Description copied from class: ReduciblePositiveAritySPARQLFunctionSymbolImpl

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

Overrides:

evaluateInputTypeError in class ReduciblePositiveAritySPARQLFunctionSymbolImpl

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