Atlas of paths: A formal ontology of historical pathways in Italy