OntoMathEdu: Towards an Educational Mathematical Ontology Alexander Kirillovich1 2 , Olga Nevzorova1 , Marina Falileeva1 , Evgeny Lipachev1 , and Liliana Shakirova1 1 Kazan Federal University, Kazan, Russia 2 Joint Supercomputer Center of the Russian Academy of Sciences, Kazan, Russia alik.kirillovich@gmail.com, onevzoro@gmail.com, mmwwff@yandex.ru, elipachev@gmail.com, liliana008@mail.ru Abstract We present OntoMathEdu , a new educational mathematical ontology. This ontology is intended to be a Linked Open Data hub for math- ematical education, a linguistic resource for intelligent mathematical language processing and an end-user reference educational database. OntoMathEdu is organized in three layers: a foundational ontology layer, a domain ontology layer and a linguistic layer. The domain ontology layer, in turn, consists of the following modules: a kind hi- erarchy, a hierarchy of reified relationships, a roles hierarchy, and a network of points of view. Currently, OntoMathEdu covers Euclidean plane geometry only, but we plan to extend it to the whole secondary school mathematics curriculum. We consider our work as a part of long-established trend of using Linked Open Data and ontologies in educational environments. 1 Introduction We present OntoMathEdu (https://github.com/CLLKazan/OntoMathEdu), a new educational mathematical ontology. The ontology is intended to be: – A Linked Open Data hub for mathematical education. In this respect, the ontology lies at the intersection of two long-established trends of using LOD for educational purposes [1-4] and for mathematical knowledge management [5, 6]. – A linguistic resource for common mathematical language processing. In this respect, the ontology can complement mathematical linguistic resources, such as SMGloM [7, 8], and serve as an interface between raw natural language texts and mathematical knowledge management applications. – An end-user reference educational database, and play the same role in secondary school math, that Planet- Math or MathWorld play in professional mathematics. Copyright © by the paper’s authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). In: C. Kaliszyk, E. Brady, J. Davenport, W.M. Farmer, A. Kohlhase, M. Kohlhase, D. Müller, K. Pąk, and C. Sacerdoti Coen (eds.): Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8–12, 2019, published at http://ceur-ws.org This ontology is a central component of the digital educational platform under development, which is in- tended for solving such tasks as: (1) automatic knowledge testing; (2) automatic recommendation of educational materials according to an individual study plan; (3) semantic annotation of educational materials. In the development of OntoMathEdu we would rely on our experience of the development of OntoMathP RO (http://ontomathpro.org/) [9], an ontology of professional mathematics. This ontology underlies a semantic publishing platform [10-12], that takes as an input a collection of mathematical papers in LATEX format and builds their ontology-based Linked Open Data representation. The semantic publishing platform, in turn, is a central component of OntoMath digital ecosystem [13, 14], an ecosystem of ontologies, text analytics tools, and applications for mathematical knowledge management, including semantic search for mathematical formulas [15] and a recommender system for mathematical papers [16]. Despite the fact that OntoMathP RO has proved to be effective in several educational applications, such as assessment of the competence of students [9] and recommendation of educational materials in Virtual Learning Communities [17-20], its focus on professional mathematics rather than on education prevents it to be a strong foundation for the digital educational platform. The main differences between OntoMathP RO and a required educational ontology are the following: – Conceptualization. OntoMathP RO ontology specifies a conceptualization of professional mathematics, whilst the required educational ontology must specify a conceptualization of school mathematics. These conceptu- alizations are noticeably different, for example, in school conceptualization, Number is a primitive notion, while in professional conceptualization it is defined as a subclass of Set. – Selection of concepts. The required educational ontology must contain concepts from a school mathematics curriculum. – Terminology. Concepts of OntoMathP RO ontology are denoted by professional terms, whilst concepts of the required educational ontology must be denoted by school math terms. There isn’t so much difference between professional and educational terminology in English, but this difference is more salient in such languages as Russian or Tatar. For example, the term ‘многочлен’ (the native word for ‘polynom’) should be used instead of the professional term ‘полином’ (the Greek loan word with the same meaning) in educational environment. – Didactic relationships. The required educational ontology must contain didactic relationships between con- cepts. A didactic relationship between two concepts represents the fact, that the first concept can’t be learned until the second one is learned. For example, comprehension of the Addition concept is required to grasp the concept of Multiplication, and, more interesting, to grasp the very concept of Function, even though, from the logical point of view the later concept is more fundamental and is used in the definitions of the first two. So, didactic relationships are orthogonal to the logical ones, and are similar to prerequisite relationships in MOOC or narrative relationships in OMDoc documents. – Points of view. In addition to universal statements, the required educational ontology must contain state- ments relativized to particular points of view, such as different educational levels. For example, a concept can be defined differently on different educational stages; and a statement can be considered as an axiom according to one axiomatization, and as a theorem according to another. With regard to the foregoing, there is a need for developing a new educational ontology OntoMathEdu . In the rest of the paper we describe our experience of developing a part of this ontology, covering Euclidean plane geometry. 2 Ontology structure According to the project, OntoMathEdu ontology will be organized in three layers: 1. Foundational ontology layer, where a chosen foundational ontology is UFO [21]. 2. Domain ontology layer, which contains language-independent math concepts from the secondary school mathematics curriculum. The concepts are grouped into several modules, including the general concepts module and modules for disciplines of mathematics, e.g. Arithmetic, Algebra and Plane Geometry. The concepts will be interlinked with external LOD resources, such as DBpedia [22], ScienceWISE [23] and OntoMathP RO . Additionally, relaying on the MMT URIs scheme [24], the concepts can be aligned with MitM ontology [25], and through it with the concepts of several computer algebra systems. 3. Linguistic layer, containing multilingual lexicons, that provide linguistic grounding of the concepts from the domain ontology layer. The lexicons will be expressed in terms of Lemon [26, 27], LexInfo and OLiA Figure 1: OntoMathEdu ontology structure [28] ontologies. A lexicon consists in (a) lexical entries, denoting mathematical concepts; (b) forms of lexical entries; (c) syntactic trees of multi-word lexical entries, (d) and syntactic frames. A syntactic frame contains a subcategorization model for a particular lexical entry and its mapping to parameters of a corresponding math concept (for example, in the “Riemann integral of f over x from a to b” lexical entry, the “from a” dependent constituent expresses the lower limit of integration). The lexicons will be interlinked with the external lexical resources from the Linguistic Linked Open Data (LLOD) cloud [29, 30], first of all in English [31, 32], Russian [33] and Tatar [34]. This three-layered structure is represented at Figure 1. 3 Domain ontology layer structure The domain ontology layer of OntoMathEdu is being developed according to the following modelling principles: 1. Common mathematical language conceptualization. OntoMathEdu reflects the conceptualization of the Common mathematical language (CML) [35], not that of the language of fully formalized mathematics. These conceptualizations are very different. For example, according to the fully formalized mathematics conceptualization, the Set concept subsumes the Vector concept, but in the CML conceptualization Vector is constituted by Set, and is not subsumed by it. More important, in contrast to the fully formalized mathematics conceptualization, according to the CML conceptualization, mathematical objects are neither necessary nor timeless, and the domain of discourse can expand in a process of problem-solving. 2. Strict adherence to ontological distinctions provided by the foundational ontology. For example, we explicitly mark concepts as Kinds or Roles. 3. Reification of domain relations. Mathematical relations are represented as concepts, not as object properties. Thus, the mathematical relationships between concepts are first-order entities, and can be a subject of a statement. 4. Multilinguality. Concepts of ontology contains labels in English, Russian and Tatar. 5. Educational literature warrant. The ontology contains only those concepts, that are represented in actual education literature. Current version of OntoMathEdu contains approximately 600 concepts from the secondary school Euclidean plane geometry curriculum (5th–9th grades). Concepts are represented as ontology classes and have English, Russian and Tatar labels. The ontology consists in the following modules: (1) hierarchy of kinds, (2) hierarchy of roles, (3) hierarchy of reified relationships, and (4) network of points of view. 3.1 Hierarchy of kinds The main hierarchy of the ontology is a hierarchy of kinds. A kind is a concept that is rigid and ontologically independent [21, 36]. So, for example, the concept of “Triangle” is a kind, because any triangle is always a triangle, regardless of its relationship with other figures. The top level of the kind hierarchy consists of the following classes: 1. “Plane figure”, with subclasses such as “Line”, “Polygon”, “Ellipse”, or “Angle”. 2. “Euclidean plane geometry axiom”, with subclasses such as “Axiom of construction of a circle with a given center and radius”. 3. “Euclidean plane geometry theorem” with subclasses such as “Angle sum theorem of triangle” or “Pythagorean theorem”. 4. “Euclidean plane geometry problem” with subclasses such as “Problem of straightedge and compass con- struction” or “Heron’s problem”. 5. “Unit of measurement”, with subclasses such as “Centimeter”, “Radian”, or “Square meter”. 6. “Measurement and construction tool”, with subclasses such as “Protractor”, “Astrolabe”, “ ‘T-square”, “Sliding T bevel”, or “Marking gauge”. Figure 2: A fragment of the hierarchy of kinds A fragment of the hierarchy of kinds is represented at the Figure 2. 3.2 Hierarchy of roles A role is a concept that is anti-rigid and ontologically dependent [21, 36]. An object can be an instance of a role class only by virtue of its relationship with another object. So, for example, the concept “median” is a role, since a line segment is a median not by itself, but only in relation to a certain triangle (Figure 3). Figure 3: A role example 3.3 Hierarchy of reified relationships Relations between concepts are represented in ontology in a reified form, i.e. as ontological concepts, not as ontological properties (such representation fits the standard ontological pattern for representing N -ary relation with no distinguished participant [37], but is applied to binary relations too). Thus, the relationships between concepts are first-order entities, and can be a subject of a statement. The top level of the hierarchy of reified relationships consists of the following classes: 1. “Mutual arrangement of geometric figures on a plane”, with subclasses such as “Inscribed polygon” or “Tri- angle with vertices at Euler points”. 2. “Comparison relation between plane figures”, with subclasses such as “Congruent triangles” or “Similar polygons”. 3. “Plane transformation”, with subclasses such as “Translation” or “Axial symmetry”. 4. “Metric property of a plane figure”, with subclasses such as “Length of a circle”, “Tangent of acute angle in right triangle”, or “Eccentricity of an ellipse”. Figure 4: A relationship example Reified relationships are linked to their participants by object properties (Figure 4). Figure 5: A fragment of the hierarchy of reified relationships A fragment of the hierarchy of reified relationships is represented at the Figure 5. 3.4 Network of points of view In addition to universal statements, an ontology contains statements relativized to particular points of view. Points of view are represented using the “Descriptions and Situations” design pattern, and are based on the top-level ontology DOLCE + DnS Ultralite [38-40]. At present, there are the following types of point of view: 1. Definitions. One and the same concept may be defined in different ways from different points of view. For example, according to one definition, a concept A is defined by a concept B, and according to another definition, the concept B is defined by the concept A. 2. Educational levels. Currently, development of the network of points of view is at an early stage. 3.5 Relations The ontology contains the following relations, represented by object properties: 1. Part-whole relation. For example, a “Vertex of a triangle” is a part of a “Triangle”. 2. “Determined by” relation, that holds between a figure and an element, that determines this figure, but is not its part. For example, a “Circle” is determined by a “Centre of a circle” and a “Radius of a circle”. 3. Relations of ontological dependence that bind a role concept to its depended concept. For example, the “Focus of an ellipse” concept depends on the “Ellipse” concept and the “Chord of a circle” concept depends on the “Circle” concept. 4. “Theorem-property” relation, that holds between a figure and a theorem stating a property of this figure. For example, a “Triangle” is related to the “Triangle inequality” and the “Theorem on the sum of acute angles of a right triangle” theorems. 5. “Theorem-criterion” relation, that holds between a figure and a theorem stating a criterion of this figure. 6. “Is expressed by the formula” relation, that holds between a metric property of a geometric figure and a formula for calculation of this property value. For example, an “Area of a polygon” is related to “Heron’s formula”. 3.6 External links Currently, the OntoMathEdu ontology has been interlinked only with DBpedia. The mapping was constructed semi-automatically on the base of the method proposed in [41] and then manually verified. This mapping contains 142 connections. Now we are working on interlinking the concepts of OntoMathEdu with the Kind and Role concepts defined by the UFO foundational ontology. The obtained links can be formalized by the MLT Ontology [42, 43] and then be used to verify the correctness of the OntoMathEdu hierarchies according to the OntoClean methodology [44]. 4 Conclusions In this paper, we present a new educational mathematical ontology OntoMathEdu , clarify the context of its development and describe its current version. While there are many educational ontologies on the one hand, and several mathematical ontologies on the other, to our knowledge, OntoMathEdu is the first general-purpose educational mathematical ontology. Addi- tionally, it is the first Linked Open Data mathematical ontology, intended to: (1) respect ontological distinctions provided by a foundational ontology; (2) represent mathematical relationships as first-oder entities; and (3) pro- vide strong linguistic grounding for the represented mathematical concepts. The ontology is under development now, so our first priority is to release its stable version. After that, our future work will be undertaken in two directions: Firstly, we are going to further develop this ontology according to the above-mentioned plan. Secondly, we are going to apply the modeling principles, drafted on this project, in the development of the new revised version of the ontology of professional mathematics OntoMathP RO . Acknowledgements. The first part of the work, the development of the domain ontology layer, was funded by the subsidy allocated to Kazan Federal University for the state assignment in the sphere of scientific activities, grant agreement no. 1.2368.2017, and Russian Foundation for Basic Research and the government of the region of the Russian Federation, grant no. 18-47-160007. The second part of the work, the development of the linguistic layer, was funded by Russian Science Foundation according to the research project no. 19-71-10056. References [1] C. K. Pereira, S. W. Matsui Siqueira, B. P. Nunes, and S. Dietze. Linked Data in Education: A Survey and a Synthesis of Actual Research and Future Challenges. In: IEEE Transactions on Learning Technologies, 11(3):400–412, 2018. doi:10.1109/TLT.2017.2787659. [2] M. D’Aquin. On the Use of Linked Open Data in Education: Current and Future Practices. In: D. Mouromtsev and M. D’Aquin(eds.) Open Data for Education: Linked, Shared, and Reusable Data for Teaching and Learning. Lecture Notes in Computer Science, 9500:3–15. Springer, Cham, 2016. doi:10.1007/978-3-319-30493-9_1. [3] D. Taibi, G. Fulantelli, S. Dietze, and B. Fetahu. Educational Linked Data on the Web–Exploring and Analysing the Scope and Coverage. In: D. Mouromtsev and M. D’Aquin(eds.) Open Data for Education: Linked, Shared, and Reusable Data for Teaching and Learning. Lecture Notes in Computer Science 9500:16–37. Springer, Cham, 2016. doi:10.1007/978-3-319-30493-9_2. [4] S. Nahhas, O. Bamasag, M. Khemakhem, and N. Bajnaid. Added Values of Linked Data in Education: A Survey and Roadmap. Computers, 7(3), 2018. doi:10.3390/computers7030045. [5] C. Lange. Ontologies and languages for representing mathematical knowledge on the Semantic Web. Semantic Web 4(2):119–158, 2013. doi:10.3233/SW-2012-0059. [6] A. M. Elizarov, A. V. Kirillovich, E. K. Lipachev, O. A. Nevzorova, V. D. Solovyev, and N. G. Zhiltsov. Mathematical knowledge representation: semantic models and formalisms. Lobachevskii Journal of Mathematics, 35(4):348–354, 2014. doi:10.1134/S1995080214040143. [7] D. Ginev, et al. The SMGloM Project and System: Towards a Terminology and Ontology for Math- ematics. G.M. Greuel, et al. (eds.) 5th International Conference on Mathematical Software (ICMS 2016). Lecture Notes in Computer Science 9725:451–457. Springer, Cham, 2016. doi:10.1007/978-3- 319-42432-3_58. [8] M. Kohlhase. A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathemat- ics. In: S.M. Watt, et al. (eds.) Proceedings of the International Conference on Intelligent Computer Mathematics (CICM 2014). Lecture Notes in Computer Science, 8543:169–183. Springer, Cham, 2014. doi:10.1007/978-3-319-08434-3_13 [9] O. Nevzorova, N. Zhiltsov, A. Kirillovich, and E. Lipachev. OntoMathP RO Ontology: A Linked Data Hub for Mathematics. In: P. Klinov and D. Mouromstev (eds.) Proceedings of the 5th International Conference on Knowledge Engineering and Semantic Web (KESW 2014). Communications in Computer and Information Science 468:105–119. Springer, Cham, 2014. doi:10.1007/978-3-319-11716-4_9. [10] O. Nevzorova, N. Zhiltsov, D. Zaikin, O. Zhibrik, A. Kirillovich, V. Nevzorov, and E. Birialtsev. Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Math- ematics. In: H. Alani, et al., (eds.) Proceedings of the 12th International Semantic Web Conference (ISWC 2013). Lecture Notes in Computer Science, 8218:379–394. Springer, Berlin, Heidelberg, 2013. doi:10.1007/978-3-642-41335-3_24. [11] A. M. Elizarov, E. K. Lipachev, O. A. Nevzorova, and V. D. Solov’ev. Methods and means for se- mantic structuring of electronic mathematical documents. Doklady Mathematics, 90(1):521–524, 2014. doi:10.1134/S1064562414050275. [12] O. Nevzorova and V. Nevzorov. Ontology-Driven Processing of Unstructured Text. In: S. Kuznetsov and A. Panov (eds.) Proceedings of the 17th Russian Conference on Artificial Intelligence (RCAI 2019). Communications in Computer and Information Science. Springer, 2019 (forthcoming). [13] A. Elizarov, A. Kirillovich, E. Lipachev, and O. Nevzorova. Digital Ecosystem OntoMath: Mathemat- ical Knowledge Analytics and Management. In: L. Kalinichenko, S. Kuznetsov, and Y. Manolopoulos (eds.) XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016). Communications in Computer and Information Science, 706:33–46. Springer, Cham, 2017. doi:10.1007/978-3-319-57135-5_3. [14] A. M. Elizarov, N. G. Zhiltsov, A. V. Kirillovich, E. K. Lipachev, O. A. Nevzorova, V. D. Solovyev. The OntoMath ecosystem: ontologies and applications for math knowledge management. In: Semantic Representation of Mathematical Knowledge Workshop, Toronto, Canada, Fields Institute, 5 February 2016. http://www.fields.utoronto.ca/video-archive/2016/02/2053-14698. [15] A. Elizarov, A. Kirillovich, E. Lipachev, and O. Nevzorova. Semantic Formula Search in Digital Math- ematical Libraries. In: Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017). IEEE, 39–43, 2017. doi:10.1109/RPC.2017.8168063. [16] A. M. Elizarov, A. V. Kirillovich, E. K. Lipachev, A. B. Zhizhchenko, and N. G. Zhil’tsov. Mathe- matical Knowledge Ontologies and Recommender Systems for Collections of Documents in Physics and Mathematics. Doklady Mathematics 93(2):231–233, 2016. doi:10.1134/S1064562416020174. [17] A. Barana, L. Di Caro, M. Fioravera, M. Marchisio, and S. Rabellino. Ontology Development for Competence Assessment in Virtual Communities of Practice. In: C. Penstein Rosé, et al. (eds.) Proceedings of the 19th International Conference Artificial Intelligence in Education (AIED 2018), part II. Lecture Notes in Computer Science 10948:94–98. Springer, Cham, 2018. doi:10.1007/978-3-319- 93846-2_18. [18] A. Barana, L. Di Caro, M. Fioravera, F. Floris, M. Marchisio, and S. Rabellino. Sharing system of learning resources for adaptive strategies of scholastic remedial intervention. Proceedings of the 4th International Conference on Higher Education Advances (HEAd’18), 1495–1503. Editorial Universitat Politecnica de Valencia, 2018. doi:10.4995/HEAd18.2018.8232. [19] M. Marchisio, L. Di Caro, M. Fioravera, and S. Rabellino. Towards Adaptive Systems for Automatic Formative Assessment in Virtual Learning Communities. In: S. Reisman, et al. (eds.) Proceedings of the 42nd IEEE Annual Computer Software and Applications Conference (COMPSAC 2018) 1000–1005. IEEE, 2018. doi:10.1109/COMPSAC.2018.00176. [20] A. Barana, L. Di Caro, M. Fioravera, F. Floris, M. Marchisio, and S. Rabellino. Developing Competence Assessment Systems in e-Learning Communities. In: A. Volungeviciene and A. Szűcs (eds.) Proceedings of the European Distance and E-Learning Network 2018 Annual Conference: Exploring the Micro, Meso and Macro (EDEN 2018), 879–888. EDEN, 2018. [21] G. Guizzardi. Ontological Foundations for Structural Conceptual Models, CTIT, Enschede, 2005. [22] J. Lehmann, R. Isele, M. Jakob, A. Jentzsch, D. Kontokostas, P. N. Mendes, S. Hellmann, M. Morsey, P. van Kleef, S. Auer, S., and C. Bizer. DBpedia: A Large-scale, Multilingual Knowledge Base Extracted from Wikipedia. Semantic Web Journal, 6(2):167–195, 2015. doi:10.3233/SW-140134. [23] A. Astafiev, R. Prokofyev, C. Guéret, A. Boyarsky, and O. Ruchayskiy. ScienceWISE: A Web-based Interactive Semantic Platform for Paper Annotation and Ontology Editing. In: E. Simperl, et al. (eds.) Revised Selected Papers of the ESWC 2012 Satellite Events. Lecture Notes in Computer Science 7540:392–396. Springer, Berlin, Heidelberg, 2012. doi:10.1007/978-3-662-46641-4_33. [24] D. Müller, T. Gauthier, C. Kaliszyk, M. Kohlhase, F. Rabe. Classification of Alignments Between Concepts of Formal Mathematical Systems. In: H. Geuvers, et al. (eds.) Proceedings of the 10th Inter- national Conference on Intelligent Computer Mathematics (CICM 2017). Lecture Notes in Computer Science 10383:8-3-98. Springer, Cham, 2017. doi:10.1007/978-3-319-62075-6_7. [25] P.-O. Dehaye, M. Iancu, M. Kohlhase, V. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing. Interoperability in the OpenDreamKit Project: The Math-in-the- Middle Approach. In: M. Kohlhase, et al. (eds.) Proceeding of the 9th International Conference on Intelligent Computer Mathematics (CICM 2016). Lecture Notes in Computer Science, 9791. Springer, Cham, 2016. doi:10.1007/978-3-319-42547-4_9. [26] J. McCrae, D. Spohr, and P. Cimiano. Linking lexical resources and ontologies on the Semantic Web with Lemon. In: G. Antoniou, et al. (eds.) Proceedings of the 8th Extended Semantic Web Conference (ESWC 2011). Part I. Lecture Notes in Computer Science, 6643:245–259. Springer, Heidelberg, 2011. doi:10.1007/978-3-642-21034-1_17. [27] J. P. McCrae, J. Bosque-Gil, J. Gracia, P. Buitelaar, and P. Cimiano. The OntoLex-Lemon Model: Development and Applications. In: I. Kosem, et al. (eds.) Proceedings of the 5th biennial conference on Electronic Lexicography (eLex 2017), 587–597. Lexical Computing CZ, 2017. [28] C. Chiarcos. OLiA – Ontologies of Linguistic Annotation. Semantic Web, 6(4):379–386, 2015. doi:10.3233/SW-140167. [29] C. Chiarcos, J. McCrae, P. Cimiano, C. Fellbaum. Towards open data for linguistics: Linguistic linked data. In: A. Oltramari, P. Vossen, L. Qin, and E. Hovy (eds.) New Trends of Research in Ontologies and Lexical Resources, 7–25. Springer, Heidelberg, 2013. doi:10.1007/978-3-642-31782-8_2. [30] J. P. McCrae, C. Chiarcos, F. Bond, P. Cimiano, T. Declerck, G. de Melo, J. Gracia, S. Hellmann, B. Klimek, S. Moran, P. Osenova, A. Pareja-Lora, and J. Pool. The Open Linguistics Working Group: Developing the Linguistic Linked Open Data Cloud. In: N. Calzolari, et al. (eds.) Proceedings of the 10th International Conference on Language Resources and Evaluation (LREC 2016), 2435–2441. ELRA, 2016. [31] J. P. McCrae, C. Fellbaum, and P. Cimiano. Publishing and Linking WordNet using lemon and RDF. In: C. Chiarcos et al. (eds.) Proceedings of the 3rd Workshop on Linked Data in Linguistics (LDL-2014), 13–16. ELRA, 2014. [32] M. Ehrmann, F. Cecconi, D. Vannella, J. McCrae, P. Cimiano, and R. Navigli. Representing Multilin- gual Data as Linked Data: the Case of BabelNet 2.0. In: N. Calzolari, et al. (eds.) Proceedings of the 9th International Conference on Language Resources and Evaluation (LREC 2014), 401–408. ELRA, 2014. [33] A. Kirillovich, O. Nevzorova, E. Gimadiev, and N. Loukachevitch. RuThes Cloud: Towards a Multilevel Linguistic Linked Open Data Resource for Russian. In: P. Różewski and C. Lange (eds.) Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017). Com- munications in Computer and Information Science, 786:38–52. Springer, Cham, 2017. doi:10.1007/978- 3-319-69548-8_4. [34] A. Galieva, A. Kirillovich, B. Khakimov, N. Loukachevitch, O. Nevzorova, and D. Suleymanov. To- ward Domain-Specific Russian-Tatar Thesaurus Construction. In: Proceedings of the International Conference IMS-2017, 120–124. ACM, 2017. doi:10.1145/3143699.3143716. [35] M. Ganesalingam. The Language of Mathematics. Springer, 2013. [36] N. Guarino and C. A. Welty. A Formal ontology of properties. In: R. Dieng and O. Corby (eds.) Pro- ceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management (EKAW ’00). Lecture Notes in Computer Science, 1937:97–112. Springer, Heidelberg, 2000. doi:10.1007/3-540- 39967-4_8. [37] N. Noy and A. Rector. Defining N-ary Relations on the Semantic Web. W3C Working Group Note, 12 April 2006. https://www.w3.org/TR/swbp-n-aryRelations/. [38] S. Borgo and C. Masolo. Ontological Foundations of DOLCE. In: R. Poli, M. Healy, and A. Kameas (eds.) Theory and Applications of Ontology: Computer Applications, 279–295. Springer, Dordrecht, 2010. doi:10.1007/978-90-481-8847-5_13. [39] S. Borgo and C. Masolo. Foundational Choices in DOLCE. In: S. Staab and R. Studer (eds.) Handbook on Ontologies, 361–381. Springer, Berlin, Heidelberg, 2009. doi:10.1007/978-3-540-92673-3_16. [40] A. Gangemi and P. Mika. Understanding the Semantic Web through Descriptions and Situations. Proceedings of the OTM Confederated International Conferences “On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE” (OTM 2003). R. Meersman, Z. Tari, and D.C. Schmidt (eds.) Lecture Notes in Computer Science, 2888:689–706. Springer, Berlin, Heidelberg, 2003. doi:978-3- 540-39964-3_44. [41] A. Kirillovich and O. Nevzorova. Ontological Analysis of the Wikipedia Category System. In: D. Aveiro, et al. (eds.) Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018), Seville, Spain, 18-20 September, 2018. Volume 2: KEOD, 358–366. SCITEPRESS, 2018. [42] F. Brasileiro, J. P. A. Almeida, V. A. Carvalho, and G. Guizzardi. Expressive Multi-level Modeling for the Semantic Web. In: P. Groth, et al. (eds.) Proceedings of the 15th International Semantic Web Conference (ISWC 2016). Part I. Lecture Notes in Computer Science, 9981:53–69. Springer, Cham, 2016. doi:10.1007/978-3-319-46523-4_4. [43] V. A. Carvalho, J. P. A. Almeida, C. M. Fonseca, and G. Guizzardi. Multi-level ontology-based conceptual modeling. Data & Knowledge Engineering, 109:3-24, 2017. doi:10.1016/j.datak.2017.03.002. [44] N. Guarino and C. A. Welty. An Overview of OntoClean. In: S. Staab and R. Studer (eds.) Handbook on Ontologies, 201–220. Springer, Berlin, Heidelberg, 2009. doi:10.1007/978-3-540-92673-3_9.