One of the most utilised technologies for knowledge representation is the knowledge graph (KG). Those connect entities (e.g. mathematical objects or concepts) by meaningful semantic relations. Mathematical knowledge can also be well represented by KGs. Often, it is useful to further structure the knowledge graph by the defining ontologies that restrict the set of possible relations.
