TerminalState¶
A terminal state type has no substates (cannot be decomposed). It corresponds to a particular class of manifestations. A terminal state is achieved at some time if and only if there exists a manifestation within its defined classification, that exists at that time.
IRI: https://w3id.org/citydata/part1/v1/TerminalState
Diagram¶
Specializations of TerminalState¶
| Class | Description |
|---|---|
| Consume State | Identifies a Resource and Quantity it consumes. The Quantity is removed from the Resource. |
| Manifestation State | A specialization of TerminalState, the ManifestationState specifies a Manifestation class that an individual must satisfy in order for the ManifestationState to be true. |
| Produce State | Identifies a Resource and Quantity it produces. |
| Release State | Identifies a Resource and Quantity it releases (after using). |
| Terminal Resource State | |
| Use State | Identifies a Resource and Quantity it uses (without consuming). |
Formalization for TerminalState¶
| Property | Constraint |
|---|---|
| subClassOf | State |