# OntoMathPRO Ontology: A Linked Data Hub for Mathematics

arXiv: https://arxiv.org/abs/1407.4833 · HTML: https://mlsanity.com/paper/1407.4833/

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 17 Jul 2014.

## Built on by (most cited first, 4 of 4)

- [An ontology for the formalization and visualization of scientific knowledge](https://mlsanity.com/paper/2107.04347/) (2021)
- [OntoMathPRO 2.0 Ontology: Updates of the Formal Model](https://mlsanity.com/paper/2303.13542/) (2023)
- [An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development](https://mlsanity.com/paper/2509.02758/) (2025)
- [The zbMATH Open Knowledge Graph: Tracing Centuries of Mathematical Research](https://mlsanity.com/paper/2609.00969/) (2026)

## Abstract (arXiv)

In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the applications of this representation in information extraction, semantic search, and education. We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE.