ONTOLOGY EXPLORER
Invalidation
<http://www.w3.org/ns/prov#Invalidation>
An instance of prov:Invalidation provides additional descriptions about the binary prov:wasInvalidatedBy relation from an invalidated prov:Entity to the prov:Activity that invalidated it. For example, :uncracked_egg prov:wasInvalidatedBy :baking; prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :baking; :foo :bar ].
プロパティと値
| プロパティ | 値 |
|---|---|
| type | Class |
| comment | "An instance of prov:Invalidation provides additional descriptions about the binary prov:wasInvalidatedBy relation from an invalidated prov:Entity to the prov:Activity that invalidated it. For example, :uncracked_egg prov:wasInvalidatedBy :baking; prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :baking; :foo :bar ]."@en |
| isDefinedBy | http://www.w3.org/ns/prov-o# |
| label | "Invalidation" |
| subClassOf | ActivityInfluence |
| 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 | "Invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity. The entity is no longer available for use (or further invalidation) after invalidation. Any generation or usage of an entity precedes its invalidation." |
| dm | "http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-Invalidation"^^<http://www.w3.org/2001/XMLSchema#anyURI> |
| n | "http://www.w3.org/TR/2013/REC-prov-n-20130430/#expression-Invalidation"^^<http://www.w3.org/2001/XMLSchema#anyURI> |
| unqualifiedForm | wasInvalidatedBy |