@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:invalidatedAtTime a owl:DatatypeProperty ;
    rdfs:label "invalidatedAtTime" ;
    rdfs:comment "The time at which an entity was invalidated (i.e., no longer usable)."@en ;
    rdfs:domain prov:Entity ;
    rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
    rdfs:range xsd:dateTime ;
    prov:category "expanded" ;
    prov:component "entities-activities" ;
    prov:editorialNote "It is the intent that the property chain holds: (prov:qualifiedInvalidation o prov:atTime) rdfs:subPropertyOf prov:invalidatedAtTime."@en ;
    prov:qualifiedForm prov:Invalidation,
        prov:atTime .