Search Results for author:
Found 5 papers, 1 papers with code
OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model
OntoMath${}^{\mathrm{PRO}}$ underlies a semantic publishing platform, that takes as an input a collection of mathematical papers in LaTeX format and builds their ontology-based Linked Open Data representation.
Russian-Tatar Socio-Political Thesaurus: Methodology, Challenges, the Status of the Project
This paper discusses the general methodology and important practical aspects of implementing a new bilingual lexical resource {--} the Russian-Tatar Socio-Political Thesaurus that is being developed on the basis of the Russian RuThes thesaurus format as a hierarchy of concepts viewed as units of thought.
OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
In this article we consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies.
Mathematical Knowledge Representation: Semantic Models and Formalisms
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management.
$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
In this paper, 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.
