Skip to main content

Module claims

Module claims 

Source
Expand description

Temporal claims: time-bounded assertions about entities with overlap and contradiction checks.

Structs§

TemporalClaim
A temporal claim: an assertion about an entity that holds during a time interval.

Enums§

TemporalContradictionStatus
Contradiction status between two temporal claims about the same entity.

Functions§

check_contradiction
Check two claims for temporal contradiction.