Ontomath^Edu: A linguistically grounded educational mathematical ontology

© Springer Nature Switzerland AG 2020. We present the first release of OntoMathEdu, a new educational mathematical ontology. The ontology is intended to be used as a Linked Open Data hub for mathematical education, a linguistic resource for intelligent mathematical language processing and an end-user reference educational database. The ontology is organized in three layers: a foundational ontology layer, a domain ontology layer and a linguistic layer. The domain ontology layer contains language-independent concepts, covering secondary school mathematics curriculum. The linguistic layer provides linguistic grounding for these concepts, and the foundation ontology layer provides them with meta-ontological an-notations. The concepts are organized in two main hierarchies: the hierarchy of objects and the hierarchy of reified relationships. For our knowledge, OntoMathEdu is the first Linked Open Data mathematical ontology, that respects ontological distinctions provided by a foundational ontology; represents mathematical relationships as first-oder entities; and provides strong linguistic grounding for the represented mathematical concepts