\(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge

DOI10.1134/S1064562422700016OpenAlexW4309648030MaRDI QIDQ2696681

Alexander Kirillovich, E. K. Lipachev, A. M. Elizarov, O. A. Nevzorova

Publication date: 17 April 2023

Published in: Doklady Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1064562422700016

zbMATH Keywords

ontologymathematical knowledge managementmathematical fact extractionontology developmentreified relation

Mathematics Subject Classification ID

Computer science (68-XX) Computing methodologies and applications (68Uxx) Computer science support for mathematical research and practice (68Vxx)

Related Items

Approach to creating a thesaurus and a knowledge graph of an applied subject area

Cites Work

• Ontology based approach to modeling of the subject domain ``mathematics in the digital library
• 10 years later: the Mathematics Subject Classification and Linked Open Data
• A survey of languages for formalizing mathematics
• Mathematical knowledge representation: semantic models and formalisms
• The global digital mathematics library and the international mathematical knowledge trust
• Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics
• Handbook on Ontologies
• Methods and means for semantic structuring of electronic mathematical documents