Activity¶
An Activity describes something that occurs in the domain. An Activity may be further defined by (decomposed into) Subactivities. An Activity may have precondition and/or effect State. An Activity may be enabled by or cause some State. An enabling of causing state is a generalization of a precondition/effect; an Activity is enabled by or causes some State if it has a subactivity with a precondition or effect (respectively) of that State. In other words, the state may not be required directly before, or cause directly after the activity, but by some more specialized sub-activity. An Activity occurs at some point in time and space. An Activity takes place during some interval, and so has some duration. An Activity may have some Manifestations that participate in it.
IRI: https://w3id.org/citydata/part1/v1/Activity
Diagram¶
Formalization for Activity¶
| Property | Constraint |
|---|---|
| associatedLocation | only Location |
| associatedLocation | only Location |
| beginOf | min 1 |
| beginOf | min 1 time:Instant |
| causesState | only State |
| causesState | only State |
| enabledByState | only State |
| enabledByState | only State |
| endOf | min 1 |
| endOf | min 1 time:Instant |
| hasEffect | only State |
| hasEffect | only State |
| hasPrecondition | only State |
| hasPrecondition | only State |
| hasStatus | exactly 1 |
| hasStatus | exactly 1 ActivityStatus |
| hasSubactivity | only Activity |
| hasSubactivity | only Activity |
| occursAt | min 1 |
| occursAt | min 1 time:Interval |
| occursBefore | only Activity |
| occursBefore | only Activity |
| occursDirectlyBefore | only Activity |
| occursDirectlyBefore | only Activity |
| scheduledFor | exactly 1 |
| scheduledFor | exactly 1 time:Interval |
| subClassOf | prov:Activity |
| subClassOf | ActivityThing |