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

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

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.

Problems and Solutions in the Design of Formal Taxonomy of Concepts of Geometry

Digitalization of education requires the creation of intellectual subject databases. The specifics of the modern educational environment should take into account the variability of the knowledge system in accordance with the level of training of the student. The purpose of this research is to bui

Towards an Educational Mathematical Ontology

This paper is dedicated to the development of a new educational mathematical ontology OntoMathEdu. The ontology is a central component of the digital educational platform under development, and is intended for solving such tasks as: automatic knowledge testing; automatic recommendation of educationa

Онтология и метаонтология простых объектов

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 школьной математики на основе онтологии профессиональной математики OntoMathPro и использование ее в оценке знаний студентов.

Блоги в системе научных коммуникаций

Логические константы и проблема демаркации логики

We have surveyed three criteria for demarcation logical constants and extra-logical terms: syncategorematic, grammatical and Tarski?s. The last criterion has been reconstructed for FOL.

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.

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.

Application Software for Multilingual Thesaurus Development

The paper introduces a tool for developing a bilingual Russian-Tatar thesaurus. The tool is implemented as a web application, it supports teamwork and publishing the thesaurus database in the Linking Open Data (LOD) cloud.

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/

Проблема транзитивности в системе категорий Википедии

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

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.

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.

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

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

Семантическое аннотирование в системе управления физико-математическим контентом

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

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

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

Висячая пунктуация в web-типографике

This paper presented JS-library that should apply hanging punctuation on the Web

Демо-версия библиотеки WeTypography.js

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

Гиперссылки на произвольный фрагмент web-страницы на основе алгоритмов биоинформатики

Демо-версия javas­cript-библиотеки