topi - A graph-based vague topology for toponyms