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: Towards an Educational Mathematical Ontology

SEMANTIC TECHNOLOGIES IN MATHEMATICAL EDUCATION: ONTOLOGIES AND LINKED OPEN DATA

We present a brief overview of the application of semantic technologies in the field of education. We propose an approach to the application of these technol-ogies in mathematical education. We describe the existing models of the semantic representation of mathematical knowledge, and also indicate t

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.

Logical constants and logic demarcation problem

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.

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.

Semantic Formula Search: 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.

Problem of Transitivity of Wikipedia's Category System

This paper analyses a violation of the transitivity principle of Wikipedia?s category system. Causes of the violation have been analyzed on base of ontological modeling methodologies such as OntoClean. A new approach for elimination of the violation has been proposed.

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.