OntoMath(PRO): Ontology of Mathematical Knowledge

Nevzorova Olga Avenirovna; Kirillovich Alexander Vitalevich; Lipachev Evgeny Konstantinovich; Elizarov Aleksandr Mihajlovich

Главная
→
Институты и другие подразделения
→
Научные ресурсы и учебно-методические пособия
→
Просмотр элемента

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