ONTOLOGY EXPLORER
End
<http://www.w3.org/ns/prov#End>
An instance of prov:End provides additional descriptions about the binary prov:wasEndedBy relation from some ended prov:Activity to an prov:Entity that ended it. For example, :ball_game prov:wasEndedBy :buzzer; prov:qualifiedEnd [ a prov:End; prov:entity :buzzer; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ].
プロパティと値
| プロパティ | 値 |
|---|---|
| type | Class |
| comment | "An instance of prov:End provides additional descriptions about the binary prov:wasEndedBy relation from some ended prov:Activity to an prov:Entity that ended it. For example, :ball_game prov:wasEndedBy :buzzer; prov:qualifiedEnd [ a prov:End; prov:entity :buzzer; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en |
| isDefinedBy | http://www.w3.org/ns/prov-o# |
| label | "End" |
| subClassOf | EntityInfluence |
| subClassOf | InstantaneousEvent |
| category | "qualified" |
| component | "entities-activities" |
| constraints | "http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#prov-dm-constraints-fig"^^<http://www.w3.org/2001/XMLSchema#anyURI> |
| 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."@en |
| dm | "http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-End"^^<http://www.w3.org/2001/XMLSchema#anyURI> |
| n | "http://www.w3.org/TR/2013/REC-prov-n-20130430/#expression-End"^^<http://www.w3.org/2001/XMLSchema#anyURI> |
| unqualifiedForm | wasEndedBy |