@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 skos: <http://www.w3.org/2004/02/skos/core#> .

prov:qualifiedInvalidation a owl:ObjectProperty ;
    rdfs:label "qualifiedInvalidation" ;
    rdfs:comment "If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation;  prov:activity :a; :foo :bar ]." ;
    rdfs:domain prov:Entity ;
    rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
    rdfs:range prov:Invalidation ;
    rdfs:subPropertyOf prov:qualifiedInfluence ;
    skos:definition "If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation;  prov:activity :a; :foo :bar ]." ;
    prov:category "qualified" ;
    prov:component "entities-activities" ;
    prov:inverse "qualifiedInvalidationOf" ;
    prov:sharesDefinitionWith prov:Invalidation ;
    prov:unqualifiedForm prov:wasInvalidatedBy .