loss of role

IRI: https://spec.industrialontologies.org/ontology/construct/LossOfRole

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: bfo:process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › loss of role

Definition

process in which someone or something (independent continuant that is not a spatial region) ceases to be the bearer of a role

Semi-Formal Definition:

every instance of ‘loss of role’ is defined exactly as an instance of a ‘process’ p that ‘occupies temporal region’ some ‘temporal interval’ t that ‘temporally finishes’ or ‘is temporally overlapped by’ or is ‘met by’ some ‘temporal interval’ t1 and p ‘has participant at all times’ some ‘independent continuant’ that is not a ‘spatial region’ y, and p ‘has input’ some ‘role’ r that only ‘exists at’ t1 and y ‘has role’ r

Explanatory Notes

1. If only one date-time is available for some loss of role processes due to lack of data or an interval being smaller than the tick time (the smallest duration by which the time progresses) then the date-time should be asserted either only for first instant or only for last instant of every interval, for which a loss of role process occurs, uniformly for the entire knowledge base. For example, Bill Clinton lost the role of presidency on 19 December 1998 should be modeled as the process p of type ‘loss of role’ ‘occupies temporal region’ r (a ‘temporal interval’) which ‘has first instant’ i (a ‘temporal instant’) which ‘has value expression at all times’ v (a ‘temporal instant value expression’) which ‘has data-time value’ 1998-12-19T00:00:00Z.

Examples

• the process of losing a student role when a student graduates

Adapted From

• CCO

Formal Axioms

First-Order Logic Definition

LossOfRole(p) ↔ Process(p) ∧ ∃t∃t1∃r∃y(TemporalInterval(t) ∧ TemporalInterval(t1) ∧ Role(r) ∧ (IndependentContinuant(y) ∧ ¬SpatialRegion(y)) ∧ occupiesTemporalRegion(p,t) ∧ (isTemporallyOverlappedBy(t,t1) ∨ temporallyFinishes(t,t1) ∨ metBy(t,t1)) ∧ hasInput(p,r) ∧ existsAt(r,t1) ∧ hasRole(y,r) ∧ hasParticipantAtAllTimes(p,y) ∧ ∀t2(TemporalRegion(t2) ∧ existsAt(r,t2) → (occurrentPartOf(t2,t1) ∨ t2 = t1)))

Description Logic

constr:LossOfRole ≡ bfo:process ⊓ (∃ bfo:occupies_temporal_region .(bfo:temporal_interval ⊓ (∃ constr:isTemporallyOverlappedBy .(bfo:temporal_interval ⊓ ∃ bfo:exists_at⁻ .bfo:role) ⊔ ∃ constr:metBy .(bfo:temporal_interval ⊓ ∃ bfo:exists_at⁻ .bfo:role) ⊔ ∃ constr:temporallyFinishes .(bfo:temporal_interval ⊓ ∃ bfo:exists_at⁻ .bfo:role))) ⊓ ∃ constr:hasInput .bfo:role) ⊓ ∃ bfo:has_participant_at_all_times .(bfo:independent_continuant ⊓ ¬ bfo:spatial_region)

constr:LossOfRole ⊑ bfo:process

EquivalentTo: bfo:process and (bfo:occupies_temporal_region some (bfo:temporal_interval and (constr:isTemporallyOverlappedBy some (bfo:temporal_interval and inverse bfo:exists_at some bfo:role) or constr:metBy some (bfo:temporal_interval and inverse bfo:exists_at some bfo:role) or constr:temporallyFinishes some (bfo:temporal_interval and inverse bfo:exists_at some bfo:role))) and constr:hasInput some bfo:role) and bfo:has_participant_at_all_times some (bfo:independent_continuant and not bfo:spatial_region)

SubClassOf: bfo:process