Elizarov Aleksandr Mihajlovich; Kirillovich Alexander Vitalevich; Lipachev Evgeny Konstantinovich; Nevzorova Olga Avenirovna
(2022)
This article presents the first Semantic Web ontology of professional mathematical knowledge OntoMathPRO.
The ontology is designed to classify and systematize mathematical concepts.
OntoMathPRO ontology concepts are ...