Mathematical Knowledge Representation: Semantic Models and Formalisms
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev and, Olga Nevzorova, Valery Solovyev, Nikita Zhiltsov
TL;DR
This paper surveys semantic models for mathematical knowledge management, proposing an ontology of mathematical knowledge and demonstrating its applications in formula search and learning.
Contribution
It introduces a comprehensive ontology of mathematical knowledge and applies it to improve formula search and learning tasks.
Findings
Effective semantic representation for mathematical knowledge
Enhanced formula search capabilities
Support for learning applications
Abstract
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics, Computing, and Information Processing · Semantic Web and Ontologies · Advanced Database Systems and Queries