KFU. Card publication. Mathematical knowledge representation: semantic models and formalisms

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

MATHEMATICAL KNOWLEDGE REPRESENTATION: SEMANTIC MODELS AND FORMALISMS

Form of presentation

Articles in international journals and collections

Year of publication

2014

Язык

английский

Authors, employees of KFU

Elizarov Aleksandr Mikhaylovich, author

Zhilcov Nikita Gennadevich, author

Kirillovich Aleksandr Vitalevich, author

Lipachev Evgeniy Konstantinovich, author

Nevzorova Olga Avenirovna, author

Solovev Valeriy Dmitrievich, author

Bibliographic description in the original language

Alexander M. Elizarov, Alexander V. Kirillovich, Evgeny K. Lipachev, Olga A. Nevzorova, Valery D. Solovyev, Nikita G. Zhiltsov. Mathematical knowledge representation: semantic models and formalisms // Lobachevskii Journal of Mathematics, October 2014, Vol. 35, No. 4. Pleiades Publishing, 2014. Pp. 348–354

Annotation

The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.

Keywords

Ontology engineering, mathematical knowledge, metadata extraction, information retrieval, math formula search

The name of the journal

Lobachevskii Journal of Mathematics

URL

http://link.springer.com/article/10.1134/S1995080214040143

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

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

Resource files

File name	Size (MB)	Format
Mathematical_knowledge_representation_LJM2014.pdf	0,09	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Elizarov Aleksandr Mikhaylovich	ru_RU
dc.contributor.author	Zhilcov Nikita Gennadevich	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.contributor.author	Solovev Valeriy Dmitrievich	ru_RU
dc.date.accessioned	2014-01-01T00:00:00Z	ru_RU
dc.date.available	2014-01-01T00:00:00Z	ru_RU
dc.date.issued	2014	ru_RU
dc.identifier.citation	Alexander M. Elizarov, Alexander V. Kirillovich, Evgeny K. Lipachev, Olga A. Nevzorova, Valery D. Solovyev, Nikita G. Zhiltsov. Mathematical knowledge representation: semantic models and formalisms // Lobachevskii Journal of Mathematics, October 2014, Vol. 35, No. 4. Pleiades Publishing, 2014. Pp. 348–354	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=85915&p_lang=2	ru_RU
dc.description.abstract	Lobachevskii Journal of Mathematics	ru_RU
dc.description.abstract	The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Ontology engineering	ru_RU
dc.subject	mathematical knowledge	ru_RU
dc.subject	metadata extraction	ru_RU
dc.subject	information retrieval	ru_RU
dc.subject	math formula search	ru_RU
dc.subject	Ontology engineering	ru_RU
dc.subject	mathematical knowledge	ru_RU
dc.subject	metadata extraction	ru_RU
dc.subject	information retrieval	ru_RU
dc.subject	math formula search	ru_RU
dc.title	Mathematical knowledge representation: semantic models and formalisms	ru_RU
dc.type	Articles in international journals and collections	ru_RU