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
Concrete concept URI dereferencing is also available on it, e.g. http://ontomathpro.org/ontology/E1Related Mashups
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
Contact our mailing list.