2000 character limit reached
$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics (1407.4833v2)
Published 17 Jul 2014 in cs.AI, cs.DL, and cs.IR
Abstract: 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.