Activity¶
Open interactive Activity diagram
Formalization for Activity¶
| Property | Constraint |
|---|---|
| associatedLocation | all Location |
| beginOf | some time:Instant |
| causesState | all State |
| endOf | some time:Instant |
| hasEffect | all State |
| hasStatus | exactly 1 owl:Thing |
| hasSubactivity | all Activity |
| inverse enablesActivity | all State |
| inverse preconditionOf | all State |
| occursAt | some time:Interval |
| occursBefore | all Activity |
| occursDirectlyBefore | all Activity |
| scheduledFor | exactly 1 owl:Thing |
| subClassOf | ActivityThing |
| subClassOf | prov:Activity |
Used by classes¶
| Class | Property |
|---|---|
| Activity | hasSubactivity |
| Activity | occursBefore |
| Activity | occursDirectlyBefore |
| Agent (SpatialLocPattern) | performs |
| Recurring Event | hasOccurrence |
| State | preconditionOf |
| State | enablesActivity |
| State | effectOf |
| State | causedByActivity |