State¶
Open interactive State diagram
Specializations of State¶
| Class | Description |
|---|---|
| Conjunctive State (Activity) | |
| Disjunctive State (Activity) | |
| Manifestation State (Activity) | |
| Non Terminal State (Activity) | |
| Terminal State (Activity) |
Formalization for State¶
| Property | Constraint |
|---|---|
| enables | all Activity |
| hasStatus | exactly 1 owl::Thing |
| inverse causes | all Activity |
| inverse hasEffect | all Activity |
| preconditionOf | all Activity |
| subClassOf | ActivityOntologyThing |
Used by classes¶
| Class | Property |
|---|---|
| Activity (Activity) | causes |
| Activity (Activity) | enabledBy |
| Activity (Activity) | hasEffect |
| Activity (Activity) | hasPrecondition |
| Non Terminal State (Activity) | hasSubstate |