КФУ. Карточка публикации. OntoMathPRO 2.0 Ontology: Updates of Formal Model

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

ONTOMATHPRO 2.0 ONTOLOGY: UPDATES OF FORMAL MODEL

Форма представления

Статьи в зарубежных журналах и сборниках

Год публикации

2023

Язык

английский

Авторы, сотрудники КФУ

Липачев Евгений Константинович, автор

Невзорова Ольга Авенировна, автор

Другие авторы

Кириллович Александр Витальевич, автор

Библиографическое описание на языке оригинала

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.

Аннотация

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

Ключевые слова

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

Название журнала

Lobachevskii Journal of Mathematics

URL

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=282671

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Липачев Евгений Константинович	ru_RU
dc.contributor.author	Невзорова Ольга Авенировна	ru_RU
dc.contributor.author	Кириллович Александр Витальевич	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/?p_id=282671	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	Статьи в зарубежных журналах и сборниках	ru_RU