publication venue for Building spatio-temporal knowledge graphs from vectorized topographic historical maps 2023