On 07.09.2019 09:16, Joseph Eisenberg wrote:
To me it seems redundant to tag leisure=sports_hall on buildings
inside of a leisure=sports_center, like tagging
"healthcare=hospital_ward" on each building inside of a large medical
center which is already mapped as amenity=hospital. The standard
tagging that is building=hospital, like building=school inside of an
amenity=school area.
While in theory building=school could be reused as a hotel/pub (See
https://www.mcmenamins.com/kennedy-school) in that case the building
will be inside of a tourism=hotel polygon so it's clear that it's no
longer a school.
Please understand that the building typology is orthogonal to the usage of the
building.
Thus having both a building=X and leisure/amenity=X on the same polygon is not
redundant.
If the usage changes to Y, and the building structure remains as X, it will be tagged building=X and
amenity=Y.
This approach works in both cases, the tagging on the identical polygon, or the tagging being on the
surrounding campus polygon and the building inside.
tom
_______________________________________________
Tagging mailing list
Tagging@openstreetmap.org
https://lists.openstreetmap.org/listinfo/tagging