[Tagging] How to tag sports halls?

[Selfish Seahorse]

Both tags are needed because some sports hall buildings are used for
other purposes (or not at all) and some sport halls are integrated in
another building (e.g. a school).

leisure isn't perfect, indeed ...

On 8 February 2018 at 13:42, Hufkratzer <hufkratzer at gmail.com> wrote:
> 8.2.2018 09:20, Selfish Seahorse wrote:
>>>
>>> IMHO we should suggest both, building=sports_hall for any sports hall
>>> building and leisure=sports_hall if it is also used as a sports hall.
>>
>> This seems to be a good idea to me.
>>
> We can suggest / allow both, but I if the building=* tag is mandatory for
> sports halls I still can't see the reason why the tag leisure=spots_hall
> should be mandatory too. If we have something tagged with
> building=sports_hall + sport=multi then we already know that it is a sports
> hall that is used for multiple sports. In this case the tag
> leisure=sports_hall only adds  the information that the hall is mainly used
> for leisure purposes, and in the case of a school hall this is not even
> accurate since school isn't leisure. (The same applies, of course, also to
> leisure=pitch, but for outdoor pitches we need leisure=pitch as the physical
> tag, building=pitch is not available.)
>
> ---
> Diese E-Mail wurde von Avast Antivirus-Software auf Viren geprüft.
> https://www.avast.com/antivirus
>
>
> _______________________________________________
> Tagging mailing list
> Tagging at openstreetmap.org
> https://lists.openstreetmap.org/listinfo/tagging