Kazan Federal University Digital Repository

OntoMath(PRO): Ontology of Mathematical Knowledge

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics