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?

Clone the develop branch. Edit OntoMathPro.omn using your favorite editor (e.g. Protege) and save it in OWL 2 Manchester Syntax. Create a pull request for the develop branch and send it.

Ontology URI

http://ontomathpro.org/ontology

Related Mashups

Concrete concept URI dereferencing is also available on it, e.g. http://ontomathpro.org/ontology/E1

Finding concepts in mathematical formulas

Publications

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] 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] 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]

Support or Contact

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].

Contact our mailing list.