Электронный архив

OntoMath(PRO): Ontology of Mathematical Knowledge

Показать сокращенную информацию

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


Файлы в этом документе

Данный элемент включен в следующие коллекции

Показать сокращенную информацию

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись

Статистика