КФУ. Карточка публикации. OntoMath(PRO): Ontology of Mathematical Knowledge

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

RUS

- EN
- 中文
- ES

ONTOMATH(PRO): ONTOLOGY OF MATHEMATICAL KNOWLEDGE

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

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

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

2022

Язык

английский

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

Елизаров Александр Михайлович, автор

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

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

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

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

Elizarov A.M, Kirillovich A.V, Lipachev E.K, Nevzorova O.A. OntoMath(PRO): Ontology of Mathematical Knowledge // DOKLADY MATHEMATICS. - 2022. - Vol.106, Is.3. - P.429-435. doi: 10.1134/S1064562422700016.

Аннотация

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 organized into two hierarchies: a hierarchy of mathematical objects and a hierarchy of reified relations.

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

ontology, ontology development, mathematical fact extraction, reified relation, mathematical knowledge management

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

Doklady Mathematics

Ссылка для РПД

http://dspace.kpfu.ru/xmlui/bitstream/handle/net/176409/S1064562422700016.pdf?sequence=1&isAllowed=y

URL

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

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

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

Файлы ресурса

Название файла	Размер (Мб)	Формат
S1064562422700016.pdf	0,72	pdf	посмотреть / скачать

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

Поле DC	Значение	Язык
dc.contributor.author	Елизаров Александр Михайлович	ru_RU
dc.contributor.author	Кириллович Александр Витальевич	ru_RU
dc.contributor.author	Липачев Евгений Константинович	ru_RU
dc.contributor.author	Невзорова Ольга Авенировна	ru_RU
dc.date.accessioned	2022-01-01T00:00:00Z	ru_RU
dc.date.available	2022-01-01T00:00:00Z	ru_RU
dc.date.issued	2022	ru_RU
dc.identifier.citation	Elizarov A.M, Kirillovich A.V, Lipachev E.K, Nevzorova O.A. OntoMath(PRO): Ontology of Mathematical Knowledge // DOKLADY MATHEMATICS. - 2022. - Vol.106, Is.3. - P.429-435. doi: 10.1134/S1064562422700016.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=284024	ru_RU
dc.description.abstract	Doklady Mathematics	ru_RU
dc.description.abstract	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 organized into two hierarchies: a hierarchy of mathematical objects and a hierarchy of reified relations.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	ontology	ru_RU
dc.subject	ontology development	ru_RU
dc.subject	mathematical fact extraction	ru_RU
dc.subject	reified relation	ru_RU
dc.subject	mathematical knowledge management	ru_RU
dc.title	OntoMath(PRO): Ontology of Mathematical Knowledge	ru_RU
dc.type	Статьи в зарубежных журналах и сборниках	ru_RU