SinePremiseSelection

The SInE premise selection heuristic

Implements

Fields

depthLimit (Int!)

The maximum number of iterations to be done by the SInE heuristic. The higher, the more premises are selected. A null value indicates that this feature is disabled.

id (Int!)

The ID of the PremiseSelection

premiseNumberLimit (Int)

The number of premises to be selected at most. A null value indicates that this feature is disabled.

reasonerConfiguration (ReasonerConfiguration!)

The used ReasonerConfiguration

selectedPremises ([Sentence!]!)

The selected premises

Argument Type Description
limit Int

Maximum number of entries to list

The default value is 20.
skip Int

Skip the first n entries

The default value is 0.
sineSymbolCommonnesses ([SineSymbolCommonness!]!)

Shows in how many Sentences of the OMS a Symbol occurs

Argument Type Description
limit Int

Maximum number of entries to list

The default value is 20.
skip Int

Skip the first n entries

The default value is 0.
sineSymbolPremiseTriggers ([SineSymbolPremiseTrigger!]!)

Shows the tolerance needed for a Symbol to trigger (select) a premise

Argument Type Description
limit Int

Maximum number of entries to list

The default value is 20.
skip Int

Skip the first n entries

The default value is 0.
tolerance (Float!)

A higher tolerance value causes more premises to be selected. Minimum value: 1.0.