dc.contributor |
Казанский федеральный университет |
|
dc.contributor.author |
Elizarov Aleksandr Mihajlovich |
|
dc.contributor.author |
Kirillovich Alexander Vitalevich |
|
dc.contributor.author |
Lipachev Evgeny Konstantinovich |
|
dc.contributor.author |
Nevzorova Olga Avenirovna |
|
dc.date.accessioned |
2023-07-11T07:21:58Z |
|
dc.date.available |
2023-07-11T07:21:58Z |
|
dc.date.issued |
2022 |
|
dc.identifier.citation |
OntoMath(PRO): Ontology of Mathematical Knowledge / A.M. Elizarov [et al.] // DOKLADY MATHEMATICS. - 2022. - Vol.106, Is.3. - P.429-435.- doi: 10.1134/S1064562422700016. |
|
dc.identifier.uri |
https://dspace.kpfu.ru/xmlui/handle/net/176409 |
|
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. |
|
dc.language.iso |
en |
|
dc.relation.ispartofseries |
Doklady Mathematics |
|
dc.rights |
открытый доступ |
|
dc.subject |
ontology |
|
dc.subject |
ontology development |
|
dc.subject |
mathematical fact extraction |
|
dc.subject |
reified relation |
|
dc.subject |
mathematical knowledge management |
|
dc.subject.other |
Кибернетика |
|
dc.subject.other |
Математика |
|
dc.title |
OntoMath(PRO): Ontology of Mathematical Knowledge |
|
dc.type |
Article |
|
dc.contributor.org |
Институт информационных технологий и интеллектуальных систем |
|
dc.description.pages |
429-435 |
|
dc.relation.ispartofseries-issue |
3 |
|
dc.relation.ispartofseries-volume |
106 |
|
dc.pub-id |
284024 |
|
dc.identifier.doi |
10.1134/S1064562422700016 |
|