OntoMath Digital Ecosystem: Semantic Service and Mathematical Ontologies

Author:

Elizarov Aleksandr Mikhajlovich12ORCID,Kirillovich Alexander Vitalevich2ORCID,Lipachev Evgeny Konstantinovich1ORCID,Nevzoova Olga AvenirovnaORCID

Affiliation:

1. N. I. Lobachevskii Institute of Mathematics and Mechanics KFU

2. Joint Supercomputer Center of the Russian Academy of Sciences in Kazan

Abstract

New directions of development of the digital ecosystem OntoMath, which is the technological basis of the digital mathematical library Lobachevskii DML, are presented. One of the directions is related to the development of specialized ontologies in the field of mathematics: new results of designing the ontology of professional mathematical knowledge OntoMathPRO and educational ontology OntoMathEdu are highlighted. The results are also given in the direction of creating services and tools for managing of digital mathematical collections.

Publisher

Keldysh Institute of Applied Mathematics

Reference31 articles.

1. Developing a 21st century global library for mathematics research. Washington, D.C.: The National Academies Press, 2014. 131 p.

2. Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Вебтехнологии для математика: основы MathML Практическое руководство. М.: ФИЗМАТЛИТ, 2010. 192 с.

3. Carette J., Farmer W.M., Kohlhase M., Rabe F. Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge // Math Intelligencer. 2021. V. 43. P. 78–87. https://doi.org/10.1007/s00283-020-10006-0

4. Berčič K, Carette J., Farmer W.M., Kohlhase M., Dennis Müller D., Rabe F., Sharoda Y. The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems // arXiv: 2002.04955v1 [cs.MS] 12 Feb 2020.

5. Kohlhase M., Sucan I. A Search Engine for Mathematical Formulae // In: Calmet J., Ida T., Wang D. (Eds.) Artificial Intelligence and Symbolic Computation. AISC 2006. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg, 2006. V. 4120. P. 241–253. https://doi.org/10.1007/11856290_21

Cited by 2 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Lobachevskii Digital Library in the Scientific Space of Mathematical Knowledge;Scientific and Technical Information Processing;2023-03

2. New components of the OntoMathPRO ontology for representing math knowledge;Proceedings of 25th Scientific Conference “Scientific Services & Internet – 2023”;2023

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3