Class: Invalidation

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.

URI: dlprov:Invalidation

erDiagram
Annotation {
    string annotation_value  
}
AttributeSpecification {
    uriorcurieList broad_mappings  
    uriorcurieList close_mappings  
    string description  
    uriorcurieList exact_mappings  
    uriorcurieList narrow_mappings  
    uriorcurieList related_mappings  
    NodeUriOrCurie schema_type  
    uriorcurie range  
    string value  
}
Invalidation {
    W3CISO8601 at_time  
}
Statement {

}
Thing {
    uriorcurie pid  
    uriorcurieList broad_mappings  
    uriorcurieList close_mappings  
    string description  
    uriorcurieList exact_mappings  
    uriorcurieList narrow_mappings  
    uriorcurieList related_mappings  
    NodeUriOrCurie schema_type  
}

Annotation ||--|o Thing : "annotation_tag"
AttributeSpecification ||--|| Property : "predicate"
AttributeSpecification ||--}o Annotation : "annotations"
AttributeSpecification ||--}o AttributeSpecification : "attributes"
AttributeSpecification ||--}o Statement : "characterized_by"
Invalidation ||--|o Thing : "at_location"
Invalidation ||--|o Thing : "ended"
Invalidation ||--|o Thing : "object"
Invalidation ||--|o Thing : "started"
Invalidation ||--}o Thing : "roles"
Statement ||--|| Property : "predicate"
Statement ||--|| Thing : "object"
Thing ||--}o Annotation : "annotations"
Thing ||--}o AttributeSpecification : "attributes"
Thing ||--}o Statement : "characterized_by"
Thing ||--}o Thing : "relations"

Inheritance

Influence
- ActivityInfluence
  - Invalidation [ InstantaneousEventMixin]

Slots

Name	Cardinality and Range	Description	Inheritance
at_location	0..1 Thing	Associate the subject with a location	InstantaneousEventMixin
at_time	0..1 W3CISO8601	Time at which an instanteneous event takes place or took place	InstantaneousEventMixin
object	0..1 Thing	Reference to a `Thing` within a `Statement`	Influence
roles	* Thing	Describes the function of an entity or agent (object) within the scope of a r...	Influence
started	0..1 Thing	Start is when an activity is deemed to have been started by an entity, known ...	Influence
ended	0..1 Thing	End is when an activity is deemed to have been ended by an entity, known as t...	Influence

Usages

used by	used in	type	used
EntityMixin	invalidated_by	range	Invalidation

Identifier and Mapping Information

Schema Source

from schema: https://concepts.datalad.org/s/prov/unreleased

Mappings

Mapping Type	Mapped Value
self	dlprov:Invalidation
native	dlprov:Invalidation
exact	prov:Invalidation

LinkML Source

Direct

name: Invalidation
description: 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.
from_schema: https://concepts.datalad.org/s/prov/unreleased
exact_mappings:
- prov:Invalidation
is_a: ActivityInfluence
mixins:
- InstantaneousEventMixin

Induced

name: Invalidation
description: 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.
from_schema: https://concepts.datalad.org/s/prov/unreleased
exact_mappings:
- prov:Invalidation
is_a: ActivityInfluence
mixins:
- InstantaneousEventMixin
attributes:
  at_location:
    name: at_location
    description: Associate the subject with a location. This can be a geographic place,
      or another uniquely identified object.
    notes:
    - For specifying a context-specific location see `locator`.
    comments:
    - Does not define a range, because the desired type is highly use case specific.
    from_schema: https://concepts.datalad.org/s/prov/unreleased
    exact_mappings:
    - prov:atLocation
    - schema:location
    rank: 1000
    alias: at_location
    owner: Invalidation
    domain_of:
    - Agent
    - Activity
    - InstantaneousEventMixin
    range: Thing
  at_time:
    name: at_time
    description: Time at which an instanteneous event takes place or took place.
    from_schema: https://concepts.datalad.org/s/prov/unreleased
    exact_mappings:
    - prov:atTime
    rank: 1000
    alias: at_time
    owner: Invalidation
    domain_of:
    - InstantaneousEventMixin
    - InstantaneousEvent
    range: W3CISO8601
  object:
    name: object
    description: Reference to a `Thing` within a `Statement`.
    title: Activity
    notes:
    - We do not declare a range here to be able to tighten the range in subclasses
      of class that need a particular range. This appears to be working around a linkml
      limitation.
    from_schema: https://concepts.datalad.org/s/prov/unreleased
    exact_mappings:
    - rdf:object
    rank: 1000
    slot_uri: rdf:object
    alias: object
    owner: Invalidation
    domain_of:
    - Statement
    - Influence
    - Relationship
    relational_role: OBJECT
    range: Thing
    multivalued: false
    inlined: false
  roles:
    name: roles
    description: Describes the function of an entity or agent (object) within the
      scope of a relationship with the subject.
    from_schema: https://concepts.datalad.org/s/prov/unreleased
    exact_mappings:
    - prov:hadRole
    - dcat:had_role
    rank: 1000
    alias: roles
    owner: Invalidation
    domain_of:
    - Influence
    - Relationship
    range: Thing
    multivalued: true
  started:
    name: started
    description: Start is when an activity is deemed to have been started by an entity,
      known as trigger. The activity did not exist before its start. Any usage, generation,
      or invalidation involving an activity follows the activity's start. A start
      may refer to a trigger entity that set off the activity, or to an activity,
      known as starter, that generated the trigger.
    notes:
    - PROV-O "startedAt" is a short-cut property. "Start" also has "atTime".
    - name is just started, because the association class Start has both time information
      and trigger information. Hence the name needs to capture both started_by and
      started_at. "started" has the unfortunate ambiguity of having started an activity,
      however the range "Start" is an "EntityInfluence" where the linked "object"
      is an Entity -- hopefully limiting the confusion.
    from_schema: https://concepts.datalad.org/s/prov/unreleased
    exact_mappings:
    - prov:wasStartedBy
    rank: 1000
    is_a: influenced_by
    alias: started
    owner: Invalidation
    domain_of:
    - ActivityMixin
    - Influence
    range: Thing
  ended:
    name: ended
    description: End is when an activity is deemed to have been ended by an entity,
      known as trigger. The activity no longer exists after its end. Any usage, generation,
      or invalidation involving an activity precedes the activity's end. An end may
      refer to a trigger entity that terminated the activity, or to an activity, known
      as ender that generated the trigger.
    notes:
    - PROV-O "endedAt" is a short-cut property. "Start" also has "atTime".
    - same naming remarks as for "started" apply.
    from_schema: https://concepts.datalad.org/s/prov/unreleased
    exact_mappings:
    - prov:wasEndedBy
    rank: 1000
    is_a: influenced_by
    alias: ended
    owner: Invalidation
    domain_of:
    - ActivityMixin
    - Influence
    range: Thing