Kazan Federal University Digital Repository
OntoMath(PRO): Ontology of Mathematical Knowledge
JavaScript is disabled for your browser. Some features of this site may not work without it.
| 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 |
