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

prov:wasEndedBy a owl:ObjectProperty ;
    rdfs:label "wasEndedBy" ;
    rdfs:comment "End is when an activity is deemed to have ended. An end may refer to an entity, known as trigger, that terminated the activity." ;
    rdfs:domain prov:Activity ;
    rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
    rdfs:range prov:Entity ;
    rdfs:subPropertyOf prov:wasInfluencedBy ;
    owl:propertyChainAxiom [ rdf:first prov:qualifiedEnd ;
            rdf:rest [ ] ] ;
    skos:definition "End is when an activity is deemed to have ended. An end may refer to an entity, known as trigger, that terminated the activity." ;
    prov:category "expanded" ;
    prov:component "entities-activities" ;
    prov:inverse "ended" ;
    prov:qualifiedForm prov:End,
        prov:qualifiedEnd .