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

Class AbstractGeofBooleanFunctionSymbolDirectImpl

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.geof.AbstractGeofBooleanFunctionSymbolImpl

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

All Implemented Interfaces:

FunctionSymbol, Predicate, SPARQLFunctionSymbol

Direct Known Subclasses:

GeofEhCoversFunctionSymbolImpl, GeofEhDisjointFunctionSymbolImpl, GeofEhEqualsFunctionSymbolImpl, GeofEhMeetFunctionSymbolImpl, GeofRcc8EqFunctionSymbolImpl, GeofSfContainsFunctionSymbolImpl, GeofSfCrossesFunctionSymbolImpl, GeofSfDisjointFunctionSymbolImpl, GeofSfEqualsFunctionSymbolImpl, GeofSfIntersectsFunctionSymbolImpl, GeofSfOverlapsFunctionSymbolImpl, GeofSfTouchesFunctionSymbolImpl, GeofSfWithinFunctionSymbolImpl

public abstract class AbstractGeofBooleanFunctionSymbolDirectImpl
extends AbstractGeofBooleanFunctionSymbolImpl

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	AbstractGeofBooleanFunctionSymbolDirectImpl(String functionSymbolName, org.apache.commons.rdf.api.IRI functionIRI, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<TermType> inputTypes, RDFDatatype xsdBooleanType)

Method Summary

Modifier and Type	Method and Description
protected 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)
abstract BiFunction<ImmutableTerm,ImmutableTerm,ImmutableTerm>	getDBFunction(TermFactory termFactory)

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

canBePostProcessed, computeLexicalTerm, computeTypeTerm, inferType, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

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

AbstractGeofBooleanFunctionSymbolDirectImpl

protected AbstractGeofBooleanFunctionSymbolDirectImpl(String functionSymbolName,
                                                      org.apache.commons.rdf.api.IRI functionIRI,
                                                      it.unibz.inf.ontop.com.google.common.collect.ImmutableList<TermType> inputTypes,
                                                      RDFDatatype xsdBooleanType)

Method Detail

computeDBBooleanTerm

protected 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)

Specified by:

computeDBBooleanTerm in class AbstractGeofBooleanFunctionSymbolImpl

getDBFunction

public abstract BiFunction<ImmutableTerm,ImmutableTerm,ImmutableTerm> getDBFunction(TermFactory termFactory)