$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics