Skip to content

Removal

Removal is a derivation that describes the transformation of a dictionary into another, by removing one or more keys.

Diagram

cluster_associated Derivation Derivation Removal Removal removedKey : rdfs:Literal Removal->Derivation owl_Thing owl:Thing Removal->owl_Thing dictionary 1

Removal Diagram

Formalization for Removal

Property Constraint
dictionary exactly 1
removedKey min 1
subClassOf Derivation

Other annotations

Property Value
category collections
component collections
constraints http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#dictionary-constraints
definition Removal is a derivation that describes the transformation of a dictionary into another, by removing one or more keys.
dm http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#term-dictionary-removal
n http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#expression-dictionary-removal