End¶
Diagram¶
Formalization for End¶
| Property | Constraint |
|---|---|
| subClassOf | EntityInfluence |
| subClassOf | InstantaneousEvent |
Other annotations¶
| Property | Value |
|---|---|
| category | qualified |
| component | entities-activities |
| constraints | http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#prov-dm-constraints-fig |
| definition | End is when an activity is deemed to have been ended by an entity, known as trigger. The activity no longer exists after its end. Any usage, generation, or invalidation involving an activity precedes the activity's end. An end may refer to a trigger entity that terminated the activity, or to an activity, known as ender that generated the trigger. |
| dm | http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-End |
| n | http://www.w3.org/TR/2013/REC-prov-n-20130430/#expression-End |