An RDF representation of an historical gazetteer of Norway