Образовательная онтология OntoMathEDU: проблемы онтологического инжиниринга

Статья посвящена задачам онтологического инжиниринга в области школьного образования. На основе предложенного подхода к проектированию онтологии в области школьной математики разработана образовательная полилингвальная математическая онтология OntoMathEdu для школьного курса планиметрии.

Design and Implementation of a Personalized Digital Learning Model

Towards Ontology-Based Software Services for Teaching School Mathematics

Modeling of Didactic Relationships in the OntoMathEdu Educational Mathematical Ontology

Prerequisite Relationships of the OntoMathEdu Educational Mathematical Ontology

Alexander Kirillovich, Marina Falileeva, Olga Nevzorova, Evgeny Lipachev, Anastasiya Dyupina, Liliana Shakirova. Prerequisite Relationships of the OntoMathEdu Educational Mathematical Ontology // J.C. Figueroa-García, et al. (eds). Proceedings of the 8th Workshop on Engineering Applications (WE

Prerequisite Relationships of the OntoMathEdu Educational Mathematical Ontology

Alexander Kirillovich, Marina Falileeva, Olga Nevzorova, Evgeny Lipachev, Anastasiya Dyupina, Liliana Shakirova. Prerequisite Relationships of the OntoMathEdu Educational Mathematical Ontology // J.C. Figueroa-García, et al. (eds). Proceedings of the 8th Workshop on Engineering Applications (WE

OntomathEdu: A linguistically Grounded Educational Mathematical Ontology

We present the first release of OntoMathEdu, a new educational mathematical ontology. The ontology is intended to be used as a Linked Open Data hub for mathematical education, a linguistic resource for intelligent mathematical language processing and an end-user reference educational database.

Разработка образовательных проекции математической онтологии OntoMathEdu

Доклад посвящен разработке образовательных проекций образовательной математической онтологии OntoMathEdu. Образовательной проекцией онтологии является набор концептов и отношений между ними, которые изучаются в рамках образовательного курса, относящегося к определенной системе образования.

OntoMathEdu Educational Mathematical Ontology: Annotation of Concepts

This work is dedicated to population of the OntoMathEdu ontology by definitions of mathematical concepts. OntoMathEdu is a new educational mathematical ontology, intended to be used as a Linked Open Data hub for mathematical education.

OntoMathEdu: Towards an Educational Mathematical Ontology

Образовательная математическая онтология OntoMathEdu: структура и отношения

Представлена онтология математического знания OntoMathEdu, разрабатываемая с целью использования в образовательном процессе. Эта онтология предназначена для решения таких задач, как семантическая разметка математических учебников, автоматическая рекомендация учебных материалов в соответствии с индив

Семантические технологии в математическом образовании: онтологии и открытые связанные данные

Представлен краткий обзор применения семантических технологий в области образования. Предложен подход к применению этих технологий в математическом образовании. Описаны существующие модели семантического представления математического знания.

Открытые связанные данные и онтологии в математическом образовании

Дан обзор применения онтологий и открытых связанных данных в образовательной деятельности. Описаны модели семантического представления математического знания и предложен подход к их применению в математическом образовании. Разработаны методы построения цифровой математической обучающей среды.

Ontological Analysis of the Wikipedia Category System

We analyse violations of the transitivity principle of the Wikipedia category system. The causes of the violation have been analysed on the base of ontological modelling methodologies such as OntoClean. We propose a new approach to eliminating the violations.

Модели семантического контекста математических формул в научных статьях

Описаны результаты семантического аннотирования и семантического поиска в математической коллекции, а также новые решения по улучшению семантического поиска, связанные с построением семантических моделей контекстов математической формулы.

The Semantic Context Models of Mathematical Formulas in Scientific Papers

This paper describes the results of semantic annotating and semantic search in a mathematical collection. We explored semantic models of contexts of a mathematical formula and applied the new knowledge to improving semantic search.

Онтология OntoMathEdu: предварительный анализ нового ресурса по школьной геометрии

В докладе представлен анализ концептов новой онтологии по курсу "Планиметрия" школьного курса математики

Онтологическая модель OntoMathEdu в проверке математических знаний обучающихся

Для повышения качества математического образования в РТ разрабатываются методы построения цифровой математической обучающей среды на основе онтологического подхода. Построена формальная таксономия понятий школьного курса геометрии. Осуществлено апробирование разработанной онтологии.

Toward Domain-Specific Russian-Tatar Thesaurus Construction

The aim of the work: developing bilingual Russian-Tatar thesaurus on socio-political and IT issues. The resource is developed as extension of RuThes thesaurus, which is organized as hierarchy of language-independent concepts, associated with language-specific text entries.

?Russian-Tatar Socio-Political Thesaurus: Methodology, Challenges and State of the Art? [Русско-татарский социально-политический тезаурус: методология, проблемы и современное состояние

Semantic Formula Search in Digital Mathematical Libraries

We present semantic methods of searching mathematical objects in scientific publications. We discuss methods of searching for mathematical formulas, as well as methods based on the logical structure of mathematical documents.

Семантический поиск по математическим формулам: http://lobachevskii-dml.ru:8890/mathsearch/

A Syntactic Method of Extracting Terms for Replenishing Domain Ontologies

We developed a method for processing complex syntactic structures (structures with coordination reduction). In our studies, we investigated typical coordination models for mathematical works and performed experiments with a big mathematical collection.

RuThes Cloud: Towards a Multilevel Linguistic Linked Open Data Resource for Russian

We present a new multi-level Linguistic Linked Open Data resource for Russian. It covers four linguistic levels: semantic, lexical, morphological and syntactic. We hope that our work can serve as a crystallization point of the LLOD cloud in Russian.

Интеллектуальная обработка научно-образовательной и историко-культурной информации на основе онтологий предметных областей

Представлены результаты, полученных в рамках проекта формирования научно-информационного пространства Республики Татарстан на основе сервисно-ориентированной платформы science.tatarstan.ru.

The OntoMath Ecosystem: Ontologies and Applications for Math Knowledge Management

We present a Semantic Web approach to modelling of the content of mathematical scientific documents. The approach introduces a "layer cake" of mathematical document representation that covers the following aspects: the logical (rhetorical) structure, mathematical concepts, and formulas.

ONTOMATH ecosystem and World digital mathematical library

Представлены основные направления реализации проекта WDML и результаты по созданию экосистемы OntoMath как его составной части.

Mathematical knowledge management: ontological models and digital technology

This paper is discussed basic ideas, approaches and the results developed in the research project that has the objective to develop mathematical knowledge management technologies based on ontologies. We are developing the digital ecosystem OntoMath for mathematical knowledge management.

СЕМАНТИЧЕСКИЙ РЕКОМЕНДАТЕЛЬНЫЙ СЕРВИС В ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ МАТЕМАТИКА

Предложен комплекс технологий, позволяющий на основе персонального профиля учёного эффективнее работать с научно-техническим контентом, а при анализе документов ? выделять понятия, наиболее важные с точки зрения личного семантического профиля

Constructional components in semantics of Tatar verbs

OntoMathPRO Ontology:A Linked Data Hub for Mathematics

We present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the applications of this representation ininformation extraction, semantic search ...

Семантический поисковик по математическим формулам: cll.niimm.ksu.ru/mathsearch

Онтология профессиональной математики OntoMаthPro и ее приложения

Представлена онтология профессиональной математики, разработанная и созданная в Казанском университете

Сайт онтологии

ОНТОЛОГИИ МАТЕМАТИЧЕСКИХ ЗНАНИЙ И ИХ ПРИМЕНЕНИЕ В НАУКЕ И ОБРАЗОВАНИИ

Приведены определения онтологических формализмов, используемых для представления знаний. Описаны подходы к применению онтологий в образовательном процессе и решению задач управления научным электронным контентом.

Сайт онтологии. Пример образовательного теста.

Технологии связывания данных в пространстве Открытых данных на примере математической коллекции

Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Mathematics