OntoMath Digital Ecosystem: Semantic Service and Mathematical Ontologies

Елизаров, А. М.; Kirillovich, Alexander; Lipachev, Evgeny K.; Nevzorova, Olga Avenirovna

doi:10.20948/abrau-2022-40

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

Publication Types

Select...

Other1

Article1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

New components of the OntoMathPRO ontology for representing math knowledge

Elizarov,

Kirillovich,

Lipachev

et al. 2023

Proceedings of 25th Scientific Conference “Scientific Services &Amp; Internet – 2023”

View full text Add to dashboard Cite

A new version of the ontology of professional mathematical knowledge OntoMathPRO is presented. This ontology is a conceptual model of the main branches of mathematics. The new version of the ontology introduces materialized relationships between concepts. To do this, ontology concepts are additionally divided into types and roles. Concepts-roles act as arguments of materialized relations. Also, one of the features of the new version of the ontology is the inclusion of multilingual lexicons for expressing mathematical concepts in natural language texts. The introduction of prerequisite relationships between ontology classes has expanded the possibilities of creating educational mathematical applications. Some important applications of the OntoMathPRO ontology in various fields of knowledge are indicated.

show abstract