Reasoning task results¶

struct TmeAbduction¶

Stores the result of the “Concept Abduction” inference service.

“Hypothesis” represents the part of the request that is not present in the supplied resource. The more must be hypothesized, the higher the associated “penalty”.

See: tme_reasoner_individual_abduce()

Public Members

TmeSemDesc *hypothesis¶: Hypothesis of the abduction result.

double penalty¶: Penalty associated with the abduction result.

Destroys the specified abduction result, releasing its memory.

Parameters

abduction: Abduction instance.

struct TmeBonus¶

Stores the result of the “Concept Bonus” inference service.

“Surplus” represents the part of the resource that was not requested. The larger the surplus, the higher the associated “incentive”.

See: tme_reasoner_individual_bonus()

Public Members

TmeSemDesc *surplus¶: Surplus of the bonus result.

double incentive¶: Incentive associated with the bonus result.

Destroys the specified bonus result, releasing its memory.

Parameters

bonus: Bonus instance.

struct TmeContraction¶

Stores the result of the “Concept Contraction” inference service.

“Keep” represents the part of the request that is compatible with the supplied resource, while “give up” is the part that must be given up in order to make it compatible with it. The more must be given up in the request, the higher the associated “penalty”.

See: tme_reasoner_individual_contract()

Public Members

TmeSemDesc *keep¶: Keep part of the contraction result.

TmeSemDesc *give_up¶: Give up part of the contraction result.

double penalty¶: Penalty associated with the contraction result.

Destroys the specified contraction result, releasing its memory.

Parameters

contraction: Contraction instance.

struct TmeComposition¶

Stores the result of the “Concept Covering” inference service.

Multiple resources are collected in order to cover the request. The uncovered part of the request can be queried as a separate TmeSemDesc instance.

See: tme_reasoner_individual_covering()

Public Members

UHash_TmeEntityTable *cover_resources¶: Resources that (partially) cover the request.

TmeSemDesc *uncovered_request¶: Part of the request that has nor been covered.

Destroys the specified covering result, releasing its memory.

Parameters

composition: Composition instance.