@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:Insertion a owl:Class ;
    rdfs:label "Insertion" ;
    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:insertedKeyEntityPair ],
        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 "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs." ;
    prov:dm "http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#term-dictionary-insertion"^^xsd:anyURI ;
    prov:n "http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#expression-dictionary-insertion"^^xsd:anyURI ;
    prov:unqualifiedForm prov:derivedByInsertionFrom .