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

Class LexicalInequalityFunctionSymbolImpl

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

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

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

All Implemented Interfaces:

BooleanFunctionSymbol, FunctionSymbol, Predicate

public class LexicalInequalityFunctionSymbolImpl
extends AbstractLexicalNonStrictEqOrInequalityFunctionSymbol

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	LexicalInequalityFunctionSymbolImpl(InequalityLabel inequalityLabel, MetaRDFTermType metaRDFTermType, RDFDatatype xsdBooleanType, RDFDatatype xsdDateTimeType, RDFDatatype xsdStringType, DBTermType dbStringType, DBTermType dbBooleanType, RDFDatatype xsdDateTimeStampType, RDFDatatype xsdDate)

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	computeBooleanEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	computeDateEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	computeDatetimeEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	computeDefaultDifferentTypeEqualityOrInequality(RDFTermType termType1, RDFTermType termType2, TermFactory termFactory)
protected ImmutableTerm	computeDefaultSameTypeEqualityOrInequality(RDFTermType termType, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	computeNumericEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	computeStringEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)

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

blocksNegation, buildTermAfterEvaluation, canBePostProcessed, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, mayReturnNullWithoutNullArguments, negate, simplifyWithConstantTypes, tolerateNulls

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

enableIfElseNullLifting, inferType, tryToLiftIfThenTerm, tryToLiftMagicNumbers

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

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, 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.BooleanFunctionSymbol

simplify2VL

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

LexicalInequalityFunctionSymbolImpl

protected LexicalInequalityFunctionSymbolImpl(InequalityLabel inequalityLabel,
                                              MetaRDFTermType metaRDFTermType,
                                              RDFDatatype xsdBooleanType,
                                              RDFDatatype xsdDateTimeType,
                                              RDFDatatype xsdStringType,
                                              DBTermType dbStringType,
                                              DBTermType dbBooleanType,
                                              RDFDatatype xsdDateTimeStampType,
                                              RDFDatatype xsdDate)

Method Detail

computeNumericEqualityOrInequality

protected ImmutableTerm computeNumericEqualityOrInequality(ImmutableTerm dbTerm1,
                                                           ImmutableTerm dbTerm2,
                                                           TermFactory termFactory,
                                                           VariableNullability variableNullability)

Specified by:

computeNumericEqualityOrInequality in class AbstractLexicalNonStrictEqOrInequalityFunctionSymbol

computeBooleanEqualityOrInequality

protected ImmutableTerm computeBooleanEqualityOrInequality(ImmutableTerm dbTerm1,
                                                           ImmutableTerm dbTerm2,
                                                           TermFactory termFactory,
                                                           VariableNullability variableNullability)

Specified by:

computeBooleanEqualityOrInequality in class AbstractLexicalNonStrictEqOrInequalityFunctionSymbol

computeStringEqualityOrInequality

protected ImmutableTerm computeStringEqualityOrInequality(ImmutableTerm dbTerm1,
                                                          ImmutableTerm dbTerm2,
                                                          TermFactory termFactory,
                                                          VariableNullability variableNullability)

Specified by:

computeStringEqualityOrInequality in class AbstractLexicalNonStrictEqOrInequalityFunctionSymbol

computeDatetimeEqualityOrInequality

protected ImmutableTerm computeDatetimeEqualityOrInequality(ImmutableTerm dbTerm1,
                                                            ImmutableTerm dbTerm2,
                                                            TermFactory termFactory,
                                                            VariableNullability variableNullability)

Specified by:

computeDatetimeEqualityOrInequality in class AbstractLexicalNonStrictEqOrInequalityFunctionSymbol

computeDateEqualityOrInequality

protected ImmutableTerm computeDateEqualityOrInequality(ImmutableTerm dbTerm1,
                                                        ImmutableTerm dbTerm2,
                                                        TermFactory termFactory,
                                                        VariableNullability variableNullability)

Specified by:

computeDateEqualityOrInequality in class AbstractLexicalNonStrictEqOrInequalityFunctionSymbol

computeDefaultSameTypeEqualityOrInequality

protected ImmutableTerm computeDefaultSameTypeEqualityOrInequality(RDFTermType termType,
                                                                   ImmutableTerm dbTerm1,
                                                                   ImmutableTerm dbTerm2,
                                                                   TermFactory termFactory,
                                                                   VariableNullability variableNullability)

Specified by:

computeDefaultSameTypeEqualityOrInequality in class AbstractLexicalNonStrictEqOrInequalityFunctionSymbol

computeDefaultDifferentTypeEqualityOrInequality

protected ImmutableTerm computeDefaultDifferentTypeEqualityOrInequality(RDFTermType termType1,
                                                                        RDFTermType termType2,
                                                                        TermFactory termFactory)

Specified by:

computeDefaultDifferentTypeEqualityOrInequality in class AbstractLexicalNonStrictEqOrInequalityFunctionSymbol