KFU. Card publication. OntoMathPRO 2.0 Ontology: Updates of Formal Model

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ONTOMATHPRO 2.0 ONTOLOGY: UPDATES OF FORMAL MODEL

Form of presentation

Articles in international journals and collections

Year of publication

2023

Язык

английский

Authors, employees of KFU

Lipachev Evgeniy Konstantinovich, author

Nevzorova Olga Avenirovna, author

Other authors

Kirillovich Aleksandr Vitalevich, author

Bibliographic description in the original language

A. V. Kirillovich, O. A. Nevzorova, and E. K. Lipachev OntoMathPRO 2.0 Ontology: Updates of Formal Model // Lobachevskii Journal of Mathematics, 2022, Vol. 43, No. 12, pp. 3504–3514.

Annotation

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 the representation of mathematical statements in the Open Linked Data cloud. The proposed model is intended for applications that extract mathematical facts from natural language mathematical texts and represent these facts as Linked Open Data. The model is used in development of a new version of the OntoMathPRO ontology of professional mathematics is described. OntoMathPRO underlies a semantic publishing platform, that takes as an input a collection of mathematical papers in LaTeX format and builds their ontology-based Linked Open Data representation. The semantic publishing platform, in turn, is a central component of OntoMath digital ecosystem, an ecosystem of ontologies, text analytics tools, and applications for mathematical knowledge management, including semantic search for mathematical formulas and a recommender system for mathematical papers. According to the new model, the ontology is organized into three layers: a foundational ontology layer, a domain ontology layer and a linguistic layer. The domain ontology layer contains language-independent math concepts. The linguistic layer provides linguistic grounding for these concepts, and the foundation ontology layer provides them with meta-ontological annotations. The concepts are organized in two main hierarchies: the hierarchy of objects and the hierarchy of reified relationships

Keywords

formal model, ontology, linked open data, natural language processing, mathematical knowledge management, OntoMathPRO

The name of the journal

Lobachevskii Journal of Mathematics

URL

https://link.springer.com/article/10.1134/S1995080222150136

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=282671&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Lipachev Evgeniy Konstantinovich	ru_RU
dc.contributor.author	Nevzorova Olga Avenirovna	ru_RU
dc.contributor.author	Kirillovich Aleksandr Vitalevich	ru_RU
dc.date.accessioned	2023-01-01T00:00:00Z	ru_RU
dc.date.available	2023-01-01T00:00:00Z	ru_RU
dc.date.issued	2023	ru_RU
dc.identifier.citation	A. V. Kirillovich, O. A. Nevzorova, and E. K. Lipachev OntoMathPRO 2.0 Ontology: Updates of Formal Model // Lobachevskii Journal of Mathematics, 2022, Vol. 43, No. 12, pp. 3504–3514.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=282671&p_lang=2	ru_RU
dc.description.abstract	Lobachevskii Journal of Mathematics	ru_RU
dc.description.abstract	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 the representation of mathematical statements in the Open Linked Data cloud. The proposed model is intended for applications that extract mathematical facts from natural language mathematical texts and represent these facts as Linked Open Data. The model is used in development of a new version of the OntoMathPRO ontology of professional mathematics is described. OntoMathPRO underlies a semantic publishing platform, that takes as an input a collection of mathematical papers in LaTeX format and builds their ontology-based Linked Open Data representation. The semantic publishing platform, in turn, is a central component of OntoMath digital ecosystem, an ecosystem of ontologies, text analytics tools, and applications for mathematical knowledge management, including semantic search for mathematical formulas and a recommender system for mathematical papers. According to the new model, the ontology is organized into three layers: a foundational ontology layer, a domain ontology layer and a linguistic layer. The domain ontology layer contains language-independent math concepts. The linguistic layer provides linguistic grounding for these concepts, and the foundation ontology layer provides them with meta-ontological annotations. The concepts are organized in two main hierarchies: the hierarchy of objects and the hierarchy of reified relationships	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	formal model	ru_RU
dc.subject	ontology	ru_RU
dc.subject	linked open data	ru_RU
dc.subject	natural language processing	ru_RU
dc.subject	mathematical knowledge management	ru_RU
dc.subject	OntoMathPRO	ru_RU
dc.title	OntoMathPRO 2.0 Ontology: Updates of Formal Model	ru_RU
dc.type	Articles in international journals and collections	ru_RU