gain of role

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

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

SubClass Of: bfo:process

Class Hierarchy

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

Definition

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

Semi-Formal Definition:

every instance of ‘gain of role’ is defined exactly as an instance of a ‘process’ p that ‘occupies temporal region’ some ‘temporal interval’ t that ‘temporally starts’ or ‘temporally overlaps’ or ‘meets’ some ‘temporal interval’ t1, and p ‘has participant at all times’ some ‘independent continuant’ that is not a ‘spatial region’ y and p ‘has output’ some ‘role’ r that only ‘exists at’ t1 and y ‘has role’ r

Explanatory Notes

If only one date-time is available for some gain 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 gain of role process occurs, uniformly for the entire knowledge base. For example, Barack Obama gained the role of presidency on 20 January 2009 should be modeled as the process p of type ‘gain of role’ ‘occupies temporal region’ r (a ‘temporal interval’) which ‘has last instant’ i (a ‘temporal instant’) which ‘has value expression at all times’ v (a ‘temporal instant value expression’) which ‘has data-time value’ 2009-01-20T00:00:00Z.

Examples

the process of gaining an operator role when someone is assigned in that position

Adapted From

Formal Axioms

First-Order Logic Definition

GainOfRole(p) ↔ Process(p) ∧ ∃t∃t1∃r∃y(TemporalInterval(t) ∧ TemporalInterval(t1) ∧ Role(r)∧ (IndependentContinuant(y) ∧ ¬SpatialRegion(y)) ∧ occupiesTemporalRegion(p,t) ∧ (temporallyOverlaps(t,t1) ∨ temporallyStarts(t,t1) ∨ meets(t,t1)) ∧ hasOutput(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:GainOfRole ≡ bfo:process ⊓ (∃ bfo:occupies_temporal_region .(bfo:temporal_interval ⊓ (∃ constr:meets .(bfo:temporal_interval ⊓ ∃ bfo:exists_at⁻ .bfo:role) ⊔ ∃ constr:temporallyOverlaps .(bfo:temporal_interval ⊓ ∃ bfo:exists_at⁻ .bfo:role) ⊔ ∃ constr:temporallyStarts .(bfo:temporal_interval ⊓ ∃ bfo:exists_at⁻ .bfo:role))) ⊓ ∃ constr:hasOutput .bfo:role) ⊓ ∃ bfo:has_participant_at_all_times .(bfo:independent_continuant ⊓ ¬ bfo:spatial_region)

constr:GainOfRole ⊑ bfo:process

EquivalentTo: bfo:process and (bfo:occupies_temporal_region some (bfo:temporal_interval and (constr:meets some (bfo:temporal_interval and inverse bfo:exists_at some bfo:role) or constr:temporallyOverlaps some (bfo:temporal_interval and inverse bfo:exists_at some bfo:role) or constr:temporallyStarts some (bfo:temporal_interval and inverse bfo:exists_at some bfo:role))) and constr:hasOutput some bfo:role) and bfo:has_participant_at_all_times some (bfo:independent_continuant and not bfo:spatial_region)

SubClassOf: bfo:process