temporally overlaps
IRI: https://spec.industrialontologies.org/ontology/construct/temporallyOverlaps
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
Range: bfo.BFO_0000015 | bfo.BFO_0000202
Inverse Of: is temporally overlapped by
Definition
relation that holds between two intervals and processes i and j when the first instant of the temporal extent of i is earlier than and the last instant of the temporal extent of i is later than the first instant of the temporal extent of j, and the last instance of the temporal extent of i is earlier than the last instant of the temporal extent of j
Examples
- When two plates are being welded at a joint, the cooling of a previously welded point temporally overlaps the heating of the point which is currently being welded; the sending process temporally overlaps the receiving process in a transaction process; Ancient Egyptian civilization (c. 3000 BCE - 30 BCE) temporally overlapped the Sumerian civilization (c. 3500 BCE - c. 2000 BCE) in Mesopotamia and the Indus Valley Civilization (c. 2600 BCE - c. 1900 BCE) in South Asia.
Adapted From
- https://dl.acm.org/doi/10.1145/182.358434
Formal Axioms
First-Order Logic Axioms
LA1: temporallyOverlaps(i,j) → (TemporalInterval(i) ∧ TemporalInterval(j)) ∨ (Process(i) ∧ Process(j))
LA2: TemporalInterval(i) ∧ TemporalInterval(j) ∧ temporallyOverlaps(i,j) → ∃i1∃i2∃j1∃j2(TemporalInstant(i1) ∧ TemporalInstant(i2) ∧ TemporalInstant(j1) ∧ TemporalInstant(j2) ∧ hasFirstInstant(i,i1) ∧ hasLastInstant(i,i2) ∧ hasFirstInstant(j,j1) ∧ hasLastInstant(j,j2) ∧ precedes(j1,i2) ∧ precedes(i1,j1) ∧ precedes(i2,j2))
LA3: Process(i) ∧ Process(j) ∧ temporallyOverlaps(i,j) → ∃i1∃j1(TemporalInterval(i1) ∧ TemporalInterval(j1) ∧ occupiesTemporalRegion(i,i1) ∧ occupiesTemporalRegion(j,j1) ∧ temporallyOverlaps(i1,j1))
LA4: temporallyOverlaps(i,j) ↔ ∃k(temporallyFinishes(k,i) ∧ starts(k,j))
Semi-Formal Natural Language Axioms
LA1: If i ‘temporally overlaps’ j then either both are ‘temporal intervals’ or both are ‘process’
LA2: If both i and j are ‘temporal intervals’ and i ‘temporally overlaps’ j then the ‘first instant’ of j ‘precedes’ the ‘last instant of’ i and the ‘first instant of’ i ‘precedes’ the ‘first instant’ of j and the ‘last instant of’ i ‘precedes’ the ‘last instant of’ j
LA3: If both i and j are ‘process’ and i ‘temporally overlaps’ j then the ‘temporal interval’ that i occupies ‘temporally overlaps’ the ‘temporal interval’ that j occupies
LA4: i ‘temporally overlaps’ j if and only if there exists k that ‘temporally finishes’ i and ‘temporally starts’ j
Description Logic
constr:temporallyOverlaps ⊑ _:topObjectProperty
domain: bfo:process ⊔ bfo:temporal_interval
range: bfo:process ⊔ bfo:temporal_interval
inverse: constr:isTemporallyOverlappedBy
SubPropertyOf: _:topObjectProperty
domain: bfo:process or bfo:temporal_interval
range: bfo:process or bfo:temporal_interval
inverse: constr:isTemporallyOverlappedBy