View on GitHub


A Hub for Math LOD

Download this project as a .zip file Download this project as a tar.gz file

Welcome to OntoMathPro Ontology Page!

The OntoMathPro ontology has been developed by a research group from Kazan Federal University. The ontology is geared to be the hub for math knowledge in the Web of Data. We shared the sources with the Semantic Web community to engage our colleagues from elsewhere in its further development. We are going to create an ecosystem of datasets and mashups around the ontology.

How to Contribute?

  1. Clone the develop branch.

  2. Edit OntoMathPro.omn using your favorite editor (e.g. Protege) and save it in OWL 2 Manchester Syntax.

  3. Create a pull request for the develop branch and send it.

Ontology URI

Concrete concept URI dereferencing is also available on it, e.g.

Related Mashups

Finding concepts in mathematical formulas


  1. O. Nevzorova, N. Zhiltsov, D. Zaikin, O. Zhibrik, A. Kirillovich, V. Nevzorov, E. Birialtsev. Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Mathematics // 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. — Lecture Notes in Computer Science, Vol. 8218. — Springer Berlin Heidelberg. — 2013. pp 379-394. [Google Scholar]

  2. O. Nevzorova, N. Zhiltsov, A. Kirillovich, E. Lipachev. OntoMathPro Ontology: A Linked Data Hub for Mathematics // Knowledge Engineering and the Semantic Web. 5th International Conference, Proceedings. — Communications in Computer and Information Science, Vol. 468 — Springer International Publishing — 2014 — pp. 105-119 [ArXiv]

  3. A. Elizarov, A. Kirillovich, E. Lipachev, O. Nevzorova, V. Solovyev, N. Zhiltsov. Mathematical Knowledge Representation: Semantic Models and Formalisms // Lobachevskii J. of Mathematics, 2014, V.35, No 4. — 2014. [ArXiv]

While [2] presents the ontology in details, [1] basically covers its applications. Both the papers are oriented on the Semantic Web community. [3] appeals to the mathematical community. If you leverage the ontology in your research, please cite [2].

Support or Contact

Contact our mailing list.