$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
This work addresses the integration of mathematical datasets into the Web of Data, providing a core ontology for future math-aware data linking, which is incremental in nature.
The paper presents the $OntoMath^{PRO}$ ontology, a linked data hub for mathematical knowledge concepts that balances comprehensive and sensible models, and demonstrates its applications in information extraction, semantic search, and education.
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.