This article presents the first Semantic Web ontology of professional mathematical knowledge OntoMathPRO.
The ontology is designed to classify and systematize mathematical concepts.
OntoMathPRO ontology concepts are organized into two hierarchies: a hierarchy of mathematical objects and a hierarchy of
reified relations.
