© Springer International Publishing Switzerland 2014. 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. We demonstrate the applications of this representation in information extraction, semantic search, and education. We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE
With the objective of improving Mathematical supervisory capacity of Computer Aided Systems, we are ...
We discuss the system of didactic relationships of the OntoMathEdu educational mathematical ontology...
An approach to the implementation of a recommender system based on ontologies of mathematical knowle...
© Springer International Publishing Switzerland 2014. In this paper, we present an ontology of mathe...
Abstract. In this paper, we present an ontology of mathematical knowl-edge concepts that covers a wi...
© 2018 CEUR-WS. All rights reserved. A review of the application of ontologies and open related data...
Abstract. Mathematics is a ubiquitous foundation of sci-ence, technology, and engineering. Specific ...
Copyright © 2020 for this paper by its authors. In this paper, we discuss the current stage of devel...
© Springer Nature Switzerland AG 2020. We present the first release of OntoMathEdu, a new educationa...
We consider the basic ideas, approaches and results of developing of mathematical knowledge manageme...
This paper is discussed basic ideas, approaches and the results obtained in the research project the...
© Springer International Publishing AG 2017.A mathematical knowledge management technology is discus...
We present our work on developing a software platform for mining mathematical scholarly papers to ob...
Currently, OntoMathEdu covers Euclidean plane geometry only, but we plan to extend it to the whole s...
Even though the Linking Open Data cloud is constantly growing, there is a serious lack of published ...
With the objective of improving Mathematical supervisory capacity of Computer Aided Systems, we are ...
We discuss the system of didactic relationships of the OntoMathEdu educational mathematical ontology...
An approach to the implementation of a recommender system based on ontologies of mathematical knowle...
© Springer International Publishing Switzerland 2014. In this paper, we present an ontology of mathe...
Abstract. In this paper, we present an ontology of mathematical knowl-edge concepts that covers a wi...
© 2018 CEUR-WS. All rights reserved. A review of the application of ontologies and open related data...
Abstract. Mathematics is a ubiquitous foundation of sci-ence, technology, and engineering. Specific ...
Copyright © 2020 for this paper by its authors. In this paper, we discuss the current stage of devel...
© Springer Nature Switzerland AG 2020. We present the first release of OntoMathEdu, a new educationa...
We consider the basic ideas, approaches and results of developing of mathematical knowledge manageme...
This paper is discussed basic ideas, approaches and the results obtained in the research project the...
© Springer International Publishing AG 2017.A mathematical knowledge management technology is discus...
We present our work on developing a software platform for mining mathematical scholarly papers to ob...
Currently, OntoMathEdu covers Euclidean plane geometry only, but we plan to extend it to the whole s...
Even though the Linking Open Data cloud is constantly growing, there is a serious lack of published ...
With the objective of improving Mathematical supervisory capacity of Computer Aided Systems, we are ...
We discuss the system of didactic relationships of the OntoMathEdu educational mathematical ontology...
An approach to the implementation of a recommender system based on ontologies of mathematical knowle...