Natural Language Processing (NLP) is one of the principal areas of artificial intelligence. It ca... more Natural Language Processing (NLP) is one of the principal areas of artificial intelligence. It can be argued that the use of ontologies increases the efficiency of natural language processing. However, most ontologies are built manually and require a lot of work. Thus, the problem of automated ontology replenishment is very relevant. One approach is to develop methods for replenishing ontologies using NLP for specific texts of a certain area. We applied the developed method of replenishing the OntoMathPro mathematical ontology, by extracting new terminology from mathematical documents. We developed a method for processing complex syntactic structures (structures with coordination reduction). The method includes certain rule schemata, conditions under which they are to be applied, and conditions determining the sequence of subtrees for which they are to be performed. In our studies, we investigated typical coordination models for mathematical works and performed experiments with a big mathematical collection.
This paper is discussed basic ideas, approaches and the results obtained in the research project ... more This paper is discussed basic ideas, approaches and the results obtained in the research project the objective of which is to develop mathematical knowledge management technologies based on ontologies. We are developing the digital ecosystem OntoMath for mathematical knowledge management, which includes a set of specialized ontologies, text analytics tools and applications for managing mathematical knowledge. The results obtained are close to main problems declared in the World Digital Math Library (WDML) project. The main purpose of WDML is to build a global system of linked repositories for saving all digital mathematical documents, including contemporary and historic sources. This paper is devoted to decisions of some problems in this global initiative. In particular, we developed the program services for processing large collections of mathematical papers
Communications in computer and information science, 2017
In this paper we present a new multi-level Linguistic Linked Open Data resource for Russian. It c... more In this paper we present a new multi-level Linguistic Linked Open Data resource for Russian. It covers four linguistic levels: semantic, lexical, morphological and syntactic. The resource has been constructed on base of the well-known RuThes thesaurus and the original hitherto unpublished Extended Zaliznyak grammatical dictionary. The resource is represented in terms of SKOS, Lemon, and LexInfo ontologies and a new custom ontology. Building the resource, we automatically completed the following tasks: merging source resources upon common lexical entries, decomposing complex lexical entries, and publishing constructed resource as LLOD-compatible dataset. We demonstrate the use case in which the developed resource is exploited in IR task. We hope that our work can serve as a crystallization point of the LLOD cloud in Russian.
This paper is devoted to the problems of ontology-based mathematical knowledge management and rep... more This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention is paid to the development of a formal model for the representation of mathematical statements in the Open Linked Data cloud. The proposed model is intended for applications that extract mathematical facts from natural language mathematical texts and represent these facts as Linked Open Data. The model is used in development of a new version of the OntoMath PRO ontology of professional mathematics is described. OntoMath PRO underlies a semantic publishing platform, that takes as an input a collection of mathematical papers in L A T E X format and builds their ontology-based Linked Open Data representation. The semantic publishing platform, in turn, is a central component of OntoMath digital ecosystem, an ecosystem of ontologies, text analytics tools, and applications for mathematical knowledge management, including semantic search for mathematical formulas and a recommender system for mathematical papers. According to the new model, the ontology is organized into three layers: a foundational ontology layer, a domain ontology layer and a linguistic layer. The domain ontology layer contains language-independent math concepts. The linguistic layer provides linguistic grounding for these concepts, and the foundation ontology layer provides them with meta-ontological annotations. The concepts are organized in two main hierarchies: the hierarchy of objects and the hierarchy of reified relationships. 1
Nowadays, distance learning technologies have become very popular. The recent pandemic has had a ... more Nowadays, distance learning technologies have become very popular. The recent pandemic has had a particularly strong impact on the development of distance education technologies. Kazan Federal University has a distance learning system based on LMS Moodle. This article describes the structure of the OntoMathEdu ecosystem aimed at improving the process of teaching school mathematics courses, and also provides a method for improving the OntoMathEdu ontology structure based on identifying new connections between contextually related concepts.
This paper is devoted to the problems of ontology-based mathematical knowledge management and rep... more This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention is paid to the development of a formal model for the representation of mathematical statements in the Open Linked Data cloud. The proposed model is intended for applications that extract mathematical facts from natural language mathematical texts and represent these facts as Linked Open Data. The model is used in development of a new version of the OntoMath PRO ontology of professional mathematics is described. OntoMath PRO underlies a semantic publishing platform, that takes as an input a collection of mathematical papers in L A T E X format and builds their ontology-based Linked Open Data representation. The semantic publishing platform, in turn, is a central component of OntoMath digital ecosystem, an ecosystem of ontologies, text analytics tools, and applications for mathematical knowledge management, including semantic search for mathematical formulas and a recommender system for mathematical papers. According to the new model, the ontology is organized into three layers: a foundational ontology layer, a domain ontology layer and a linguistic layer. The domain ontology layer contains language-independent math concepts. The linguistic layer provides linguistic grounding for these concepts, and the foundation ontology layer provides them with meta-ontological annotations. The concepts are organized in two main hierarchies: the hierarchy of objects and the hierarchy of reified relationships. 1
Proceedings of 24th Scientific Conference “Scientific Services & Internet – 2022”
New directions of development of the digital ecosystem OntoMath, which is the technological basis... more New directions of development of the digital ecosystem OntoMath, which is the technological basis of the digital mathematical library Lobachevskii DML, are presented. One of the directions is related to the development of specialized ontologies in the field of mathematics: new results of designing the ontology of professional mathematical knowledge OntoMathPRO and educational ontology OntoMathEdu are highlighted. The results are also given in the direction of creating services and tools for managing of digital mathematical collections.
This paper is discussed basic ideas, approaches and the results obtained in the research project ... more This paper is discussed basic ideas, approaches and the results obtained in the research project the objective of which is to develop mathematical knowledge management technologies based on ontologies. We are developing the digital ecosystem OntoMath for mathematical knowledge management, which includes a set of specialized ontologies, text analytics tools and applications for managing mathematical knowledge. The results obtained are close to main problems declared in the World Digital Math Library (WDML) project. The main purpose of WDML is to build a global system of linked repositories for saving all digital mathematical documents, including contemporary and historic sources. This paper is devoted to decisions of some problems in this global initiative. In particular, we developed the program services for processing large collections of mathematical papers
We present the first release of TatWordNet (http://wordnet.tatar), a wordnet resource for Tatar. ... more We present the first release of TatWordNet (http://wordnet.tatar), a wordnet resource for Tatar. TatWordNet has been constructed by the combination of the expand and the merge approaches. The synsets of TatWordNet have been compiled by: (i) the automatic conversion of concepts of TatThes, a socio-political Tatar; (ii) semi-automatic translation of synsets of RuWordNet, a wordnet resource for Russian with the followed manual verification and correction; (iii) manual translation of base RuWordNet synsets; (iv) and manual translation of the all hypernyms of the previously translated RuWordNet synsets. The currents version of TatWordNet contains 18,583 synsets, 36,540 lexical entries and 49,525 senses. The resource has been published to the Linguistic Linked Open Data cloud and interlinked with the Global WordNet Grid.
International Journal of Open Information Technologies, 2017
The paper discusses the main principles and practical aspects of implementing a new bilingual lex... more The paper discusses the main principles and practical aspects of implementing a new bilingual lexical resource - the Russian-Tatar socio-political thesaurus and its publishing in the Linguistic Linked Open Data Cloud (LLOD). This thesaurus is developed on the basis of the Russian RuThes thesaurus format which is built as a hierarchy of concepts. Each concept has a unique name and a set of language expressions that refer to it in texts. The authors discuss the general methodology of translating concept names and their text entries, as well as ways of reflecting the specificity of the Tatar lexical-semantic system. The models and ontologies of the Linguistic Linked Open Data Cloud are considered. The paper gives the description of the constructed resource as a set of linked data in the LLOD format.
2017 Second Russia and Pacific Conference on Computer Technology and Applications (RPC), 2017
We are presenting semantic methods of search for mathematical objects in scientific publications.... more We are presenting semantic methods of search for mathematical objects in scientific publications. In particular, methods of search for mathematical formulas, as well as methods based on the logical structure of mathematical documents, are being discussed here. Based on the digital mathematical library Lobachevskii DML, created at Kazan Federal University in 2017, declared as Lobachevsky Year, we developed and tested new methods of search in digital collections of mathematical documents.
Natural Language Processing (NLP) is one of the principal areas of artificial intelligence. It ca... more Natural Language Processing (NLP) is one of the principal areas of artificial intelligence. It can be argued that the use of ontologies increases the efficiency of natural language processing. However, most ontologies are built manually and require a lot of work. Thus, the problem of automated ontology replenishment is very relevant. One approach is to develop methods for replenishing ontologies using NLP for specific texts of a certain area. We applied the developed method of replenishing the OntoMathPro mathematical ontology, by extracting new terminology from mathematical documents. We developed a method for processing complex syntactic structures (structures with coordination reduction). The method includes certain rule schemata, conditions under which they are to be applied, and conditions determining the sequence of subtrees for which they are to be performed. In our studies, we investigated typical coordination models for mathematical works and performed experiments with a big mathematical collection.
This paper is discussed basic ideas, approaches and the results obtained in the research project ... more This paper is discussed basic ideas, approaches and the results obtained in the research project the objective of which is to develop mathematical knowledge management technologies based on ontologies. We are developing the digital ecosystem OntoMath for mathematical knowledge management, which includes a set of specialized ontologies, text analytics tools and applications for managing mathematical knowledge. The results obtained are close to main problems declared in the World Digital Math Library (WDML) project. The main purpose of WDML is to build a global system of linked repositories for saving all digital mathematical documents, including contemporary and historic sources. This paper is devoted to decisions of some problems in this global initiative. In particular, we developed the program services for processing large collections of mathematical papers
Communications in computer and information science, 2017
In this paper we present a new multi-level Linguistic Linked Open Data resource for Russian. It c... more In this paper we present a new multi-level Linguistic Linked Open Data resource for Russian. It covers four linguistic levels: semantic, lexical, morphological and syntactic. The resource has been constructed on base of the well-known RuThes thesaurus and the original hitherto unpublished Extended Zaliznyak grammatical dictionary. The resource is represented in terms of SKOS, Lemon, and LexInfo ontologies and a new custom ontology. Building the resource, we automatically completed the following tasks: merging source resources upon common lexical entries, decomposing complex lexical entries, and publishing constructed resource as LLOD-compatible dataset. We demonstrate the use case in which the developed resource is exploited in IR task. We hope that our work can serve as a crystallization point of the LLOD cloud in Russian.
This paper is devoted to the problems of ontology-based mathematical knowledge management and rep... more This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention is paid to the development of a formal model for the representation of mathematical statements in the Open Linked Data cloud. The proposed model is intended for applications that extract mathematical facts from natural language mathematical texts and represent these facts as Linked Open Data. The model is used in development of a new version of the OntoMath PRO ontology of professional mathematics is described. OntoMath PRO underlies a semantic publishing platform, that takes as an input a collection of mathematical papers in L A T E X format and builds their ontology-based Linked Open Data representation. The semantic publishing platform, in turn, is a central component of OntoMath digital ecosystem, an ecosystem of ontologies, text analytics tools, and applications for mathematical knowledge management, including semantic search for mathematical formulas and a recommender system for mathematical papers. According to the new model, the ontology is organized into three layers: a foundational ontology layer, a domain ontology layer and a linguistic layer. The domain ontology layer contains language-independent math concepts. The linguistic layer provides linguistic grounding for these concepts, and the foundation ontology layer provides them with meta-ontological annotations. The concepts are organized in two main hierarchies: the hierarchy of objects and the hierarchy of reified relationships. 1
Nowadays, distance learning technologies have become very popular. The recent pandemic has had a ... more Nowadays, distance learning technologies have become very popular. The recent pandemic has had a particularly strong impact on the development of distance education technologies. Kazan Federal University has a distance learning system based on LMS Moodle. This article describes the structure of the OntoMathEdu ecosystem aimed at improving the process of teaching school mathematics courses, and also provides a method for improving the OntoMathEdu ontology structure based on identifying new connections between contextually related concepts.
This paper is devoted to the problems of ontology-based mathematical knowledge management and rep... more This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention is paid to the development of a formal model for the representation of mathematical statements in the Open Linked Data cloud. The proposed model is intended for applications that extract mathematical facts from natural language mathematical texts and represent these facts as Linked Open Data. The model is used in development of a new version of the OntoMath PRO ontology of professional mathematics is described. OntoMath PRO underlies a semantic publishing platform, that takes as an input a collection of mathematical papers in L A T E X format and builds their ontology-based Linked Open Data representation. The semantic publishing platform, in turn, is a central component of OntoMath digital ecosystem, an ecosystem of ontologies, text analytics tools, and applications for mathematical knowledge management, including semantic search for mathematical formulas and a recommender system for mathematical papers. According to the new model, the ontology is organized into three layers: a foundational ontology layer, a domain ontology layer and a linguistic layer. The domain ontology layer contains language-independent math concepts. The linguistic layer provides linguistic grounding for these concepts, and the foundation ontology layer provides them with meta-ontological annotations. The concepts are organized in two main hierarchies: the hierarchy of objects and the hierarchy of reified relationships. 1
Proceedings of 24th Scientific Conference “Scientific Services & Internet – 2022”
New directions of development of the digital ecosystem OntoMath, which is the technological basis... more New directions of development of the digital ecosystem OntoMath, which is the technological basis of the digital mathematical library Lobachevskii DML, are presented. One of the directions is related to the development of specialized ontologies in the field of mathematics: new results of designing the ontology of professional mathematical knowledge OntoMathPRO and educational ontology OntoMathEdu are highlighted. The results are also given in the direction of creating services and tools for managing of digital mathematical collections.
This paper is discussed basic ideas, approaches and the results obtained in the research project ... more This paper is discussed basic ideas, approaches and the results obtained in the research project the objective of which is to develop mathematical knowledge management technologies based on ontologies. We are developing the digital ecosystem OntoMath for mathematical knowledge management, which includes a set of specialized ontologies, text analytics tools and applications for managing mathematical knowledge. The results obtained are close to main problems declared in the World Digital Math Library (WDML) project. The main purpose of WDML is to build a global system of linked repositories for saving all digital mathematical documents, including contemporary and historic sources. This paper is devoted to decisions of some problems in this global initiative. In particular, we developed the program services for processing large collections of mathematical papers
We present the first release of TatWordNet (http://wordnet.tatar), a wordnet resource for Tatar. ... more We present the first release of TatWordNet (http://wordnet.tatar), a wordnet resource for Tatar. TatWordNet has been constructed by the combination of the expand and the merge approaches. The synsets of TatWordNet have been compiled by: (i) the automatic conversion of concepts of TatThes, a socio-political Tatar; (ii) semi-automatic translation of synsets of RuWordNet, a wordnet resource for Russian with the followed manual verification and correction; (iii) manual translation of base RuWordNet synsets; (iv) and manual translation of the all hypernyms of the previously translated RuWordNet synsets. The currents version of TatWordNet contains 18,583 synsets, 36,540 lexical entries and 49,525 senses. The resource has been published to the Linguistic Linked Open Data cloud and interlinked with the Global WordNet Grid.
International Journal of Open Information Technologies, 2017
The paper discusses the main principles and practical aspects of implementing a new bilingual lex... more The paper discusses the main principles and practical aspects of implementing a new bilingual lexical resource - the Russian-Tatar socio-political thesaurus and its publishing in the Linguistic Linked Open Data Cloud (LLOD). This thesaurus is developed on the basis of the Russian RuThes thesaurus format which is built as a hierarchy of concepts. Each concept has a unique name and a set of language expressions that refer to it in texts. The authors discuss the general methodology of translating concept names and their text entries, as well as ways of reflecting the specificity of the Tatar lexical-semantic system. The models and ontologies of the Linguistic Linked Open Data Cloud are considered. The paper gives the description of the constructed resource as a set of linked data in the LLOD format.
2017 Second Russia and Pacific Conference on Computer Technology and Applications (RPC), 2017
We are presenting semantic methods of search for mathematical objects in scientific publications.... more We are presenting semantic methods of search for mathematical objects in scientific publications. In particular, methods of search for mathematical formulas, as well as methods based on the logical structure of mathematical documents, are being discussed here. Based on the digital mathematical library Lobachevskii DML, created at Kazan Federal University in 2017, declared as Lobachevsky Year, we developed and tested new methods of search in digital collections of mathematical documents.
Uploads
Papers by Olga Nevzorova