@prefix : <http://www.w3.org/ns/prov#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:wasInvalidatedBy a owl:ObjectProperty ;
rdfs:label "wasInvalidatedBy" ;
rdfs:domain :Entity ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
rdfs:range :Activity ;
rdfs:subPropertyOf :wasInfluencedBy ;
owl:propertyChainAxiom ( :qualifiedInvalidation :activity ) ;
:category "expanded" ;
:component "entities-activities" ;
:inverse "invalidated" ;
:qualifiedForm :Invalidation,
:qualifiedInvalidation .