Removal
Class
http://www.w3.org/ns/prov#Removal
Class Hierarchy
- Influence (w3c-prov-o)
- ↳ EntityInfluence (w3c-prov-o)
- ↳ Derivation (w3c-prov-o)
- ↳ Removal
Definition
Removal is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs.
Properties
Category
collections
Component
collections
Relationships
Asserted object-property edges to other entities. Logical class axioms such as
owl:disjointWith are shown separately below.
constraints
dictionary-constraints
unqualifiedForm
derivedByRemovalFrom
Property Structure
1 · Object and Data Properties
rdfs:domain on this class or ancestor
| Property | Range | Description |
|---|---|---|
| removedKey | Literal | |
| entity inherited | Entity | |
| hadActivity inherited | Activity | The _optional_ Activity of an Influence, which used, generated, invalidated, or was the responsibility of some Entity. This property is _not_ used by ActivityInfluence (use prov:activity instead). |
| hadGeneration inherited | Generation | The _optional_ Generation involved in an Entity's Derivation. |
| hadUsage inherited | Usage | The _optional_ Usage involved in an Entity's Derivation. |
| influencer inherited | Thing | Subproperties of prov:influencer are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:wasInfluencedBy (e.g. prov:used, prov:wasGeneratedBy). prov:influencer is used much like rdf:object is used. |
2 · Referenced By
rdfs:range on this class or ancestor
| From | Property | Description |
|---|---|---|
| Dictionary | qualifiedRemoval | |
| Activity | qualifiedInfluence inherited | Because prov:qualifiedInfluence is a broad relation, the more specific relations (qualifiedCommunication, qualifiedDelegation, qualifiedEnd, etc.) should be used when applicable. |
| Agent | qualifiedInfluence inherited | Because prov:qualifiedInfluence is a broad relation, the more specific relations (qualifiedCommunication, qualifiedDelegation, qualifiedEnd, etc.) should be used when applicable. |
| Entity | qualifiedDerivation inherited | If this Entity prov:wasDerivedFrom Entity :e, then it can qualify how it was derived using prov:qualifiedDerivation [ a prov:Derivation; prov:entity :e; :foo :bar ]. |
| Entity | qualifiedInfluence inherited | Because prov:qualifiedInfluence is a broad relation, the more specific relations (qualifiedCommunication, qualifiedDelegation, qualifiedEnd, etc.) should be used when applicable. |
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
prov:Removal a owl:Class ;
rdfs:label "Removal" ;
rdfs:isDefinedBy prov: ;
rdfs:subClassOf [ a owl:Restriction ;
owl:cardinality "1"^^xsd:int ;
owl:onProperty prov:dictionary ],
[ a owl:Restriction ;
owl:minCardinality "1"^^xsd:int ;
owl:onProperty prov:removedKey ],
prov:Derivation ;
prov:category "collections" ;
prov:component "collections" ;
prov:constraints "http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#dictionary-constraints"^^xsd:anyURI ;
prov:definition "Removal is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs." ;
prov:dm "http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#term-dictionary-removal"^^xsd:anyURI ;
prov:n "http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#expression-dictionary-removal"^^xsd:anyURI ;
prov:unqualifiedForm prov:derivedByRemovalFrom .