Building Ontologies and Knowledge Graphs for Mathematics and its Applications