@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix prov: <http://www.w3.org/ns/prov#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix metadata_def: <http://data.bioontology.org/metadata/def/> . @prefix metadata: <http://data.bioontology.org/metadata/> . @prefix ns0: <http://www.w3.org/TR/2013/REC-prov-dm-20130430/#> . @prefix ns1: <http://www.w3.org/TR/2013/REC-prov-n-20130430/#> . @prefix ns2: <http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#> . prov:Invalidation metadata_def:mappingLoom "invalidation" ; metadata_def:mappingSameURI prov:Invalidation ; metadata_def:prefLabel "Invalidation" ; metadata:prefixIRI "Invalidation" ; a owl:Class ; rdfs:comment "An instance of prov:Invalidation provides additional descriptions about the binary prov:wasInvalidatedBy relation from an invalidated prov:Entity to the prov:Activity that invalidated it. For example, :uncracked_egg prov:wasInvalidatedBy :baking; prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :baking; :foo :bar ]."@en ; rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ; rdfs:label "Invalidation" ; rdfs:subClassOf prov:ActivityInfluence, prov:InstantaneousEvent ; prov:category "qualified" ; prov:component "entities-activities" ; prov:constraints "http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#prov-dm-constraints-fig"^^<http://www.w3.org/2001/XMLSchema#anyURI> ; prov:definition "Invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity. The entity is no longer available for use (or further invalidation) after invalidation. Any generation or usage of an entity precedes its invalidation." ; prov:dm "http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-Invalidation"^^<http://www.w3.org/2001/XMLSchema#anyURI> ; prov:n "http://www.w3.org/TR/2013/REC-prov-n-20130430/#expression-Invalidation"^^<http://www.w3.org/2001/XMLSchema#anyURI> ; prov:unqualifiedForm prov:wasInvalidatedBy . prov:invalidated prov:sharesDefinitionWith prov:Invalidation . prov:invalidatedAtTime prov:qualifiedForm prov:Invalidation . prov:qualifiedInvalidation rdfs:range prov:Invalidation ; prov:sharesDefinitionWith prov:Invalidation . prov:wasInvalidatedBy prov:qualifiedForm prov:Invalidation .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
@prefix ns0: <http://www.w3.org/TR/2013/REC-prov-dm-20130430/#> .
@prefix ns1: <http://www.w3.org/TR/2013/REC-prov-n-20130430/#> .
@prefix ns2: <http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#> .

prov:Invalidation
    metadata_def:mappingLoom "invalidation" ;
    metadata_def:mappingSameURI prov:Invalidation ;
    metadata_def:prefLabel "Invalidation" ;
    metadata:prefixIRI "Invalidation" ;
    a owl:Class ;
    rdfs:comment "An instance of prov:Invalidation provides additional descriptions about the binary prov:wasInvalidatedBy relation from an invalidated prov:Entity to the prov:Activity that invalidated it. For example, :uncracked_egg prov:wasInvalidatedBy :baking; prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :baking; :foo :bar ]."@en ;
    rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
    rdfs:label "Invalidation" ;
    rdfs:subClassOf prov:ActivityInfluence, prov:InstantaneousEvent ;
    prov:category "qualified" ;
    prov:component "entities-activities" ;
    prov:constraints "http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#prov-dm-constraints-fig"^^<http://www.w3.org/2001/XMLSchema#anyURI> ;
    prov:definition "Invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity. The entity is no longer available for use (or further invalidation) after invalidation. Any generation or usage of an entity precedes its invalidation." ;
    prov:dm "http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-Invalidation"^^<http://www.w3.org/2001/XMLSchema#anyURI> ;
    prov:n "http://www.w3.org/TR/2013/REC-prov-n-20130430/#expression-Invalidation"^^<http://www.w3.org/2001/XMLSchema#anyURI> ;
    prov:unqualifiedForm prov:wasInvalidatedBy .

prov:invalidated
    prov:sharesDefinitionWith prov:Invalidation .

prov:invalidatedAtTime
    prov:qualifiedForm prov:Invalidation .

prov:qualifiedInvalidation
    rdfs:range prov:Invalidation ;
    prov:sharesDefinitionWith prov:Invalidation .

prov:wasInvalidatedBy
    prov:qualifiedForm prov:Invalidation .