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

Class UnaryLexicalFunctionSymbolImpl

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

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

All Implemented Interfaces:

FunctionSymbol, Predicate

public class UnaryLexicalFunctionSymbolImpl
extends UnaryLatelyTypedFunctionSymbolImpl

Takes a lexical term and a meta RDF term type term as input. Returns another lexical term.

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	UnaryLexicalFunctionSymbolImpl(DBTermType dbStringType, MetaRDFTermType metaRDFTermType, Function<DBTermType,DBFunctionSymbol> dbFunctionSymbolFct)

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	transformNaturalDBTerm(ImmutableFunctionalTerm dbTerm, DBTermType inputDBType, RDFTermType rdfType, TermFactory termFactory) Converts back the natural DB term into a lexical term.

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

buildTermAfterEvaluation, canBePostProcessed, inferType, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, mayReturnNullWithoutNullArguments, tolerateNulls

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

getArity, getName

Constructor Detail

UnaryLexicalFunctionSymbolImpl

protected UnaryLexicalFunctionSymbolImpl(DBTermType dbStringType,
                                         MetaRDFTermType metaRDFTermType,
                                         Function<DBTermType,DBFunctionSymbol> dbFunctionSymbolFct)

Method Detail

transformNaturalDBTerm

protected ImmutableTerm transformNaturalDBTerm(ImmutableFunctionalTerm dbTerm,
                                               DBTermType inputDBType,
                                               RDFTermType rdfType,
                                               TermFactory termFactory)

Converts back the natural DB term into a lexical term.

Overrides:

transformNaturalDBTerm in class UnaryLatelyTypedFunctionSymbolImpl