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

Class NotSPARQLFunctionSymbolImpl

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

All Implemented Interfaces:

FunctionSymbol, Predicate, SPARQLFunctionSymbol

public class NotSPARQLFunctionSymbolImpl
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	NotSPARQLFunctionSymbolImpl(RDFDatatype xsdBooleanType)

Method Summary

Modifier and Type	Method and Description
protected ImmutableExpression	computeExpression(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
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.AbstractUnaryBooleanSPARQLFunctionSymbol

canBePostProcessed, computeLexicalTerm, computeTypeTerm, inferType

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

buildTermAfterEvaluation, evaluateInputTypeError, 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, 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

NotSPARQLFunctionSymbolImpl

protected NotSPARQLFunctionSymbolImpl(RDFDatatype xsdBooleanType)

Method Detail

computeExpression

protected ImmutableExpression computeExpression(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