У меня есть приложение Python, которое создает многоугольники для определения географических областей, представляющих интерес в определенное время. До сих пор я использовал geojson из-за удобной библиотеки geojson, которая упрощает написание. Я помещаю информацию о времени в имя файла. Однако теперь мне нужно опубликовать свои полигоны через WMS с TIME (вероятно, я буду использовать картографический сервер). Поскольку geojson не поддерживает функцию времени и geojson- события еще не были приняты, я думал, что попытаюсь преобразовать в GML, однако я не могу найти библиотеку, которая упростила бы написание GML из python. Существует ли один? Я попытался использовать формат geojson-events, а затем ogr2ogr для преобразования из geojson-events в gml, но информация о времени сбрасывается.
Итак, ищем либо:
а) эффективный способ написать GML из python,
б) способ кодирования информации о дате и времени в geojson, чтобы ogr распознал ее или
c) еще одно блестящее решение, о котором я не подумал.