KFU. Card publication. OntoMath(PRO): Ontology of Mathematical Knowledge

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ONTOMATH(PRO): ONTOLOGY OF MATHEMATICAL KNOWLEDGE

Form of presentation

Articles in international journals and collections

Year of publication

2022

Язык

английский

Authors, employees of KFU

Elizarov Aleksandr Mikhaylovich, author

Kirillovich Aleksandr Vitalevich, author

Lipachev Evgeniy Konstantinovich, author

Nevzorova Olga Avenirovna, author

Bibliographic description in the original language

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.

Annotation

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.

Keywords

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

The name of the journal

Doklady Mathematics

On-line resource for training course

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

URL

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

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

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

Resource files

File name	Size (MB)	Format
S1064562422700016.pdf	0,72	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Elizarov Aleksandr Mikhaylovich	ru_RU
dc.contributor.author	Kirillovich Aleksandr Vitalevich	ru_RU
dc.contributor.author	Lipachev Evgeniy Konstantinovich	ru_RU
dc.contributor.author	Nevzorova Olga Avenirovna	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/eng/?p_id=284024&p_lang=2	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	Articles in international journals and collections	ru_RU