4 citations · 8 across the 5 of their papers we have counts for
5 papers
OntoMath 2.0 Ontology: Updates of the Formal Model
Alexander Kirillovich, Olga Nevzorova, Evgeny Lipachev
This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention is paid to the development of a formal model for th…
Ontomathedu Ontology Enrichment Method
O. A. Nevzorova, K. S. Nikolaev
Nowadays, distance learning technologies have become very popular. The recent pandemic has had a particularly strong impact on the development of distance education technologies. K…
OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev +1
In this article we consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies. These solutions form the ba…
Mathematical Knowledge Representation: Semantic Models and Formalisms
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev +3
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…
Ontology: A Linked Data Hub for Mathematics
Olga Nevzorova, Nikita Zhiltsov, Alexander Kirillovich +1
In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comp…