State¶
Open interactive State diagram
Specializations of State¶
| Class | Description |
|---|---|
| Conjunctive State | |
| Consume State | |
| Disjunctive State | |
| Manifestation State | |
| Non Terminal State | |
| Produce State | |
| Release State | |
| Terminal Resource State | |
| Terminal State | |
| Use State |
Formalization for State¶
| Property | Constraint |
|---|---|
| achievedAt | all time:TemporalEntity |
| enablesActivity | all Activity |
| hasStatus | exactly 1 owl:Thing |
| inverse causesState | all Activity |
| inverse hasEffect | all Activity |
| preconditionOf | all Activity |
| scheduledFor | max 1 owl:Thing |
| subClassOf | ActivityThing |
Used by classes¶
| Class | Property |
|---|---|
| Activity | hasPrecondition |
| Activity | enabledByState |
| Activity | hasEffect |
| Activity | causesState |
| Non Terminal State | hasSubstate |
| Recurring Event | beginsRecurringState |
| Recurring Event | endsRecurringState |