У меня есть приложение python, которое создает многоугольники для определения географических областей, представляющих интерес в определенное время. К этому моменту я использовал geojson из-за удобной библиотеки geojson, которая упрощает запись. Я помещаю информацию о времени в имя файла. Однако теперь мне нужно опубликовать свои полигоны через WMS с помощью TIME (вероятно, будет использовать Mapserver). Поскольку geojson не поддерживает время функции, а geojson-events еще не принято, я думал, что попытаюсь преобразовать его в GML, однако я не могу найти библиотеку, которая бы упрощала запись GML из простого python. Есть ли один? Я пробовал использовать формат geojson-events, а затем ogr2ogr для преобразования из geojson-событий в gml, но информация о времени отбрасывается.Преобразование Python GeoJson в GML
Так ищет либо:
а) эффективный способ написать GML из питона,
б) способ кодирования DATETIME информации в GeoJSON таким образом, что OGR распознает его или
гр) другое блестящее решение, о котором я не думал.
Да, я пришел к выводу, что база PostgreSQL/PostGIS - это, безусловно, путь. Спасибо! –