$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics

@inproceedings{Nevzorova2014OntoMathPROOA,
  title={\$OntoMath^\{PRO\}\$ Ontology: A Linked Data Hub for Mathematics},
  author={Olga Nevzorova and Nikita Zhiltsov and Alexander Kirillovich and Evgeny Lipachev},
  booktitle={KESW},
  year={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… CONTINUE READING
BETA
2
Twitter Mentions

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 10 CITATIONS

Semantic formula search in digital mathematical libraries

  • 2017 Second Russia and Pacific Conference on Computer Technology and Applications (RPC)
  • 2017
VIEW 9 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Formula Markup Algorithm for Search in Scientific Documents

  • 2018 IEEE East-West Design & Test Symposium (EWDTS)
  • 2018
VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS

Scientific documents ontologies for semantic representation of digital libraries

  • 2017 Second Russia and Pacific Conference on Computer Technology and Applications (RPC)
  • 2017
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 28 REFERENCES

Computerizing Mathematical Text with MathLang

  • Electr. Notes Theor. Comput. Sci.
  • 2008
VIEW 14 EXCERPTS
HIGHLY INFLUENTIAL

Linked Data – Design Issues

T. Berners-Lee
  • 2006
VIEW 1 EXCERPT
HIGHLY INFLUENTIAL

OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]

  • Lecture Notes in Computer Science
  • 2006
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL