contains place
- CURIE:
gmeow:containsPlace - IRI: https://blackcatinformatics.ca/gmeow/containsPlace
- Category: property
- Defined by:
gmeow:slices/places - Box roles: RBox role (What is this?)
The inverse of gmeow:containedInPlace — a place that geographically contains another place. Under OWL 2 semantics, transitivity is entailed because containedInPlace is transitive. GMEOW does not assert additional transitive property chains beyond the inverse declaration; transitive closure is a solver concern (Principle 12).
Structure
Property shape: object property; gmeow:Place -> gmeow:Place
Practical Pattern
Use gmeow:containsPlace from gmeow:Place to gmeow:Place when the relationship itself belongs in the native GMEOW graph.
Common Companion Terms
Projects To
| Profile | External Targets |
|---|---|
bot |
bot |
geosparql |
geo |
External Equivalences
Equivalent or closely aligned targets: bot, geo
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:containsPlace |
equivalence | - |
skos:closeMatch | bot:containsZone | gmeow-places.sssom.tsv; gmeow:eqPlaces124; confidence 0.85 |
gmeow:containsPlace |
equivalence | - |
skos:closeMatch | geo:sfContains | gmeow-aggregation.sssom.tsv; gmeow:eqAgg005; confidence 0.9 |
Projection Coverage
| Source | Kind | Profile | Predicate/Relation | Target | Evidence |
|---|---|---|---|---|---|
gmeow:containsPlace |
projection | bot |
projects to / = | bot:containsZone | gmeow:mapBotContainsZone; lossy: only site/building/floor/room containers are projected to BOT; the specific subproperty (hasStorey/hasSpace) is preserved by the dedicated branches above |
gmeow:containsPlace |
projection | geosparql |
projects to / = | geo:sfContains | gmeow:mapGeoContains |
Usage Advice
Use when
- Use to read or assert the whole-to-part direction of geographic containment — the inverse of
gmeow:containedInPlace.
Avoid when
- Avoid asserting it when the child-rooted
gmeow:containedInPlaceis the natural statement; avoid relying on it for transitive closure, which is a solver concern (Principle 12).
How to use
- Prefer asserting
gmeow:containedInPlaceand readgmeow:containsPlaceby inversion; state it explicitly only in whole-rooted projections.
Examples
- ex:scotland
gmeow:containsPlaceex:edinburgh.
Published Alignment Graph
Alignments
| Relation | Target |
|---|---|
closeMatch | bot:containsZone |
closeMatch | geo:sfContains |