TemporalMetadata

data class TemporalMetadata constructor(val observedAt: Instant? = null, val validFrom: Instant? = null, val validTo: Instant? = null, val invalidatedAt: Instant? = null, val supersedes: List<String> = emptyList(), val contradicts: List<String> = emptyList())

Optional temporal metadata for a fact. Every field is optional — attach only what is known; a fact for which nothing temporal is tracked has no TemporalMetadata at all.

  • Observed / source time (observedAt): when the underlying source material was authored — e.g. the date of the email this fact came from. Distinct from Proposition.created (when DICE ingested it): a fact recorded today from a 45-day-old email has created = today and observedAt = 45 days ago. (See embabel/dice#26.)

  • Valid time (validFrom / validTo): the window during which the fact holds in the world. A non-null validFrom is what marks a fact as dated — a known validity window, which does not decay — as opposed to merely decaying. A null validTo means "still valid / open-ended".

  • Invalidation (invalidatedAt): when the fact was explicitly retracted, independent of its valid window.

Constructors

Link copied to clipboard
constructor(observedAt: Instant? = null, validFrom: Instant? = null, validTo: Instant? = null, invalidatedAt: Instant? = null, supersedes: List<String> = emptyList(), contradicts: List<String> = emptyList())

Properties

Link copied to clipboard

IDs of propositions this fact contradicts

Link copied to clipboard
val invalidatedAt: Instant? = null

When this fact was explicitly invalidated, or null if not invalidated

Link copied to clipboard
val observedAt: Instant? = null

Source / effective date of the fact, or null if unknown

Link copied to clipboard

IDs of propositions this fact supersedes (replaces with newer truth)

Link copied to clipboard
val validFrom: Instant? = null

When this fact began to be true in the world, or null if unknown / not a dated fact

Link copied to clipboard
val validTo: Instant? = null

When this fact stopped being true in the world, or null if open-ended

Functions

Link copied to clipboard

Whether this fact is current as of now.

Link copied to clipboard

Whether this fact is current as of the given instant.