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

Interface BooleanFunctionSymbol

All Superinterfaces:

FunctionSymbol, Predicate

All Known Subinterfaces:

DBAndFunctionSymbol, DBBooleanFunctionSymbol, DBIsNullOrNotFunctionSymbol, DBIsTrueFunctionSymbol, DBNotFunctionSymbol, DBOrFunctionSymbol, DBStrictEqFunctionSymbol, FalseOrNullFunctionSymbol, NotYetTypedEqualityFunctionSymbol, TrueOrNullFunctionSymbol

All Known Implementing Classes:

AbstractDBBooleanConnectorFunctionSymbol, AbstractDBInequalityOperator, AbstractDBIsNullOrNotFunctionSymbol, AbstractDBIsStringEmptyFunctionSymbol, AbstractDBNonStrictEqOperator, AbstractDBStrictEqNeqFunctionSymbol, AbstractLexicalNonStrictEqOrInequalityFunctionSymbol, AbstractOrNullFunctionSymbol, AreCompatibleRDFStringFunctionSymbolImpl, BooleanDBIfElseNullFunctionSymbolImpl, BooleanFunctionSymbolImpl, DBBooleanCaseFunctionSymbolImpl, DBBooleanFunctionSymbolImpl, DBBooleanFunctionSymbolWithSerializerImpl, DBContainsFunctionSymbolImpl, DBLikeFunctionSymbolImpl, DBSimilarToFunctionSymbolImpl, DefaultBooleanDenormFunctionSymbol, DefaultDBAndFunctionSymbol, DefaultDBBooleanInequalityOperator, DefaultDBDateInequalityOperator, DefaultDBDatetimeInequalityOperator, DefaultDBDefaultInequalityOperator, DefaultDBIsTrueFunctionSymbol, DefaultDBNonStrictDateEqOperator, DefaultDBNonStrictDatetimeEqOperator, DefaultDBNonStrictDefaultEqOperator, DefaultDBNonStrictNumericEqOperator, DefaultDBNonStrictStringEqOperator, DefaultDBNotFunctionSymbol, DefaultDBNumericInequalityOperator, DefaultDBOrFunctionSymbol, DefaultDBStrEndsWithFunctionSymbol, DefaultDBStrictEqFunctionSymbol, DefaultDBStrictNEqFunctionSymbol, DefaultDBStringInequalityOperator, DefaultDBStrStartsWithFunctionSymbol, DefaultSimpleDBBooleanCastFunctionSymbol, DenodoDBStrStartsWithFunctionSymbol, FalseOrNullFunctionSymbolImpl, IsARDFTermTypeFunctionSymbolImpl, LexicalEBVFunctionSymbolImpl, LexicalInequalityFunctionSymbolImpl, LexicalLangMatchesFunctionSymbolImpl, LexicalNonStrictEqualityFunctionSymbolImpl, LowerCaseDBIsTrueFunctionSymbolImpl, MockupDBIsNullOrNotFunctionSymbolImpl, MockupSimpleDBBooleanCastFunctionSymbol, NotYetTypedEqualityFunctionSymbolImpl, OneDigitDBIsTrueFunctionSymbolImpl, OneLetterDBIsTrueFunctionSymbolImpl, RDF2DBBooleanFunctionSymbolImpl, SQLServerDBIsTrueFunctionSymbolImpl, StandardNotationDBBooleanFunctionSymbolImpl, TrueOrNullFunctionSymbolImpl, WrappedDBBooleanCaseFunctionSymbolImpl

public interface BooleanFunctionSymbol
extends FunctionSymbol

Nested Class Summary

Nested classes/interfaces inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

FunctionSymbol.FunctionalTermNullability

Method Summary

Modifier and Type	Method and Description
boolean	blocksNegation() Returns TRUE if the NOT operator has to stay ABOVE the expression (i.e.
ImmutableExpression	negate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory) Usually NOT supported when the function symbol blocks negation.
default ImmutableTerm	simplify2VL(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Can further simplify than the simplify(...) because here FALSE can be treated as equivalent to NULL (2-valued logic) By default, reuses simplify(...).

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

analyzeInjectivity, canBePostProcessed, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, inferType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

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

getArity, getName

Method Detail

blocksNegation

boolean blocksNegation()

Returns TRUE if the NOT operator has to stay ABOVE the expression (i.e. cannot lead to a change in the operator or cannot be delegated to sub-expressions)

negate

ImmutableExpression negate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms,
                           TermFactory termFactory)

Usually NOT supported when the function symbol blocks negation. Please use ImmutableExpression.negate() instead.

simplify2VL

default ImmutableTerm simplify2VL(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                  TermFactory termFactory,
                                  VariableNullability variableNullability)

Can further simplify than the simplify(...) because here FALSE can be treated as equivalent to NULL (2-valued logic) By default, reuses simplify(...).