@prefix dbpprop:	<http://dbpedia.org/property/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:History_of_mining	dbpprop:redirect	<http://dbpedia.org/resource/Mining%23History> .