OntoMathPRO: Ontology of Mathematical Knowledge

This article presents the first Semantic Web ontology of professional mathematical knowledge OntoMath(PRO). The ontology is designed to classify and systematize mathematical concepts. OntoMath(PRO) ontology concepts are organized into two hierarchies: a hierarchy of mathematical objects and a hierarchy of reified relations. In the design of the ontology, the meta-ontological differences defined in the top-level ontology are taken into account; concepts are divided into types and roles. Relations between concepts are given in a reified form. Role concepts are arguments of reified relations. Multilingual lexicons for extracting mathematical concepts from natural language texts are defined in the ontology. These lexicons are represented in the form of Linguistic Linked Open Data datasets. The OntoMath(PRO) project is under development and improvement. It is intended that the OntoMath(PRO) ontology will be enriched with new branches of mathematics and its area of application will be expanded.