\(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model

DOI10.1134/S1995080222150136MaRDI QIDQ2700049

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

Publication date: 20 April 2023

Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2303.13542

zbMATH Keywords

natural language processingontologyformal modellinked open datamathematical knowledge management\(\text{OntoMath}^{\text{PRO}}\)

Mathematics Subject Classification ID

Artificial intelligence (68Txx) General and miscellaneous specific topics (00Axx) Computer science support for mathematical research and practice (68Vxx)

Uses Software

• OMDoc

Cites Work

• Unnamed Item
• Unnamed Item
• Semantics of \textsc{OpenMath} and \textsc{MathML3}
• A survey of languages for formalizing mathematics
• OntoMath\(^\mathit{Edu}\): a linguistically grounded educational mathematical ontology
• Mathematical knowledge representation: semantic models and formalisms
• Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics
• Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
• Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
• Handbook on Ontologies
• Methods and means for semantic structuring of electronic mathematical documents

This page was built for publication: \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model