interval coincides with
- CURIE:
gmeow:intervalCoincidesWith - IRI: https://blackcatinformatics.ca/gmeow/intervalCoincidesWith
- Category: property
- Defined by:
gmeow:slices/temporal - Box roles: RBox role (What is this?)
Allen EQUALS: this interval and the related interval share the same temporal extent. Symmetric and transitive. TEMPORAL simultaneity only, never identity of the intervals themselves. (= time:intervalEquals)
Structure
Property shape: object property; gmeow:TimeInterval -> gmeow:TimeInterval
Practical Pattern
Use gmeow:intervalCoincidesWith from gmeow:TimeInterval to gmeow:TimeInterval when the relationship itself belongs in the native GMEOW graph.
Common Companion Terms
Projects To
| Profile | External Targets |
|---|---|
owl-time |
time |
External Equivalences
Equivalent or closely aligned targets: time
Linkages
Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.
Term Equivalences
| Source | Kind | Profile | Predicate/Relation | Target | Evidence |
|---|---|---|---|---|---|
gmeow:intervalCoincidesWith |
equivalence | - |
skos:closeMatch | time:intervalEquals | gmeow-temporal.sssom.tsv; gmeow:eqTemporal052; confidence 0.95 |
Projection Coverage
| Source | Kind | Profile | Predicate/Relation | Target | Evidence |
|---|---|---|---|---|---|
gmeow:intervalCoincidesWith |
projection | owl-time |
projects to / <= | time:intervalEquals | gmeow:mapIntervalCoincidesWith |
Usage Advice
Use when
- Use when two distinct intervals share exactly the same start and end — co-extensive spans such as a fiscal year and an audit window that are temporally simultaneous but ontologically different things.
Avoid when
- Avoid reading it as identity of the intervals — it asserts temporal simultaneity only, never owl:sameAs (Principle 5); two coinciding intervals remain distinct individuals.
How to use
- Assert between the two co-extensive
gmeow:TimeIntervalindividuals; symmetric and transitive, so the reverse and any chained equalities follow (= time:intervalEquals).
Examples
- ex:fiscalYear2024
gmeow:intervalCoincidesWithex:auditPeriod.