@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

prov:wasInvalidatedBy a owl:ObjectProperty ;
    rdfs:label "wasInvalidatedBy" ;
    rdfs:domain prov:Entity ;
    rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#>,
        <http://www.w3.org/ns/prov-o-inverses#> ;
    rdfs:range prov:Activity ;
    rdfs:subPropertyOf prov:wasInfluencedBy ;
    owl:inverseOf prov:invalidated ;
    owl:propertyChainAxiom [ rdf:first prov:qualifiedInvalidation ;
            rdf:rest [ ] ] ;
    prov:category "expanded" ;
    prov:component "entities-activities" ;
    prov:inverse "invalidated" ;
    prov:qualifiedForm prov:Invalidation,
        prov:qualifiedInvalidation .