Towards a Mathematical Knowledge Management System: Ontology to Model Linear Equations

  • Alan Ramírez-Noriega
  • Yobani Martínez-Ramírez
  • José Armenta
  • Sergio Miranda
  • J. Francisco Figueroa Pérez
  • José Mendivil-Torres
  • Samantha Jiménez
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 745)


Knowledge management systems based on ontologies are an important software tool to maintain the knowledge of experts, however, the mathematical area needs to improve aspects such as creating repositories of formalized mathematics, mathematical search and retrieval, and implementing math assistants. This article proposes an ontology to be used in a Mathematical Knowledge Management System (MKMS) with the objective of storing and retrieving systems of linear equations, these equations will serve to teach students to solve problems with an approach based on examples. We built the ontology considering following phases: specification, conceptualization, formalization, and implementation. Besides, the ontology was evaluated before incorporating it into the MKMS. Finally, the article shows a general architecture of the MKMS to understand the theoretical operation. Although ontology focuses on modeling a single topic, it defines the basis for modeling other mathematics topics and being applied in an MKMS.


Ontology Methontology Linear equation Mathematical Knowledge Management System 


  1. 1.
    Alavi, M., Leidner, D.E.: Knowledge management systems: emerging views and practices from the field. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, pp. 1–11 (1999)Google Scholar
  2. 2.
    Britannica T.E.o.E: Brittanica (2017).
  3. 3.
    Carette, J., Farmer, W.M.: A review of mathematical knowledge management. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, 6-12 July 2009, Proceedings, pp. 233–246. Springer, Heidelberg (2009). Google Scholar
  4. 4.
    Cheng, E.C.K.: Knowledge management for school education. In: Knowledge Management for School Education, 1st edn., no. 7, pp. 11–23. Springer, Singapore (2015)Google Scholar
  5. 5.
    Coelho, F., Souza, R., Codeço, C.: Towards an ontology for mathematical modeling with application to epidemiology. Adv. Knowl. Organ. 13, 138–144 (2012)Google Scholar
  6. 6.
    Dou, D., McDermott, D.: Deriving axioms across ontologies. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS 2006, p. 952 (2006)Google Scholar
  7. 7.
    Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O.: OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management. CoRR, pp. 1–18 (2017)Google Scholar
  8. 8.
    Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O., Solovyev, V., Zhiltsov, N.: Mathematical Knowledge Representation: Semantic Models and Formalisms. CoRR abs/1408.6 (project 3056), p. 10 (2014). MathSciNetCrossRefGoogle Scholar
  9. 9.
    Farmer, W.: MKM: a new interdisciplinary field of research. SIGSAM Bull. 38, 47–52 (2004)CrossRefGoogle Scholar
  10. 10.
    Fernandez-Lopez, M., Gomez-Perez, A., Juristo, N.: METHONTOLOGY: from ontological art towards ontological engineering. In: Proceedings of the AAAI 1997 Spring Symposium, Stanford, USA, pp. 33–40 (1997)Google Scholar
  11. 11.
    Fernández-López, M., Gómez-Pérez, A., Suárez-Figueroa, M.C.: Selecting and customizing a mereology ontology for its reuse in a pharmaceutical product ontology. Front. Artif. Intell. Appl. 183(1), 181–194 (2008)Google Scholar
  12. 12.
    Gasevic, D., Djuric, D., Devedzic, V.: Model Driven Engineering and Ontology Development. Springer, Heidelberg (2009)Google Scholar
  13. 13.
    Jeschke, S.: KEA - A Knowledge Management System for Mathematics KEA - A Knowledge Management System for Mathematics (December 2007) (2014)Google Scholar
  14. 14.
    John, S.: Development of an Educational Ontology for Java Programming (JLEO) with a hybrid methodology derived from conventional software engineering process models. Int. J. Inf. Educ. Technol. 4(4), 308–312 (2014)Google Scholar
  15. 15.
    Jurisica, I., Mylopoulos, J., Yu, E.: Using ontologies for knowledge management: an information systems perspective. In: Proceedings of the 62nd Annual Meeting of the American Society for Information Science, pp. 482–496 (1999)Google Scholar
  16. 16.
    Leung, C.H.: Res. J. Inf. Technol. 2(2), 66–80 (2010)Google Scholar
  17. 17.
    Li, H., Li, W., Cai, Q., Liu, H.: A framework of ontology-based knowledge management system. In: Proceedings - 2009 2nd IEEE International Conference on Computer Science and Information Technology, ICCSIT 2009, pp. 374–377 (2009)Google Scholar
  18. 18.
    Lohmann, S., Negru, S., Haag, F., Ertl, T.: Visualizing ontologies with VOWL. Semant. Web 7(4), 399–419 (2016)CrossRefGoogle Scholar
  19. 19.
    Muñoz Garcia, A.C., Sandia Saldivia, B., Monzòn Pàez, G.: An ontological model of collaborative learning in interactive distance education. Red de Revistas Científicas de América Latina, el Caribe, España y Portugal 18(61), 449–460 (2014)Google Scholar
  20. 20.
    Noy, N.F., McGuinness, D.L.: Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory, p. 25 (2001)Google Scholar
  21. 21.
    Pinto, H.S., Staab, S., Tempich, C.: DILIGENT: towards a fine-grained methodology for distributed, loosely-controlled and evolving engineering of ontologies. In: 16th European Conference on Artificial Intelligence - ECAI, pp. 393–397 (2004)Google Scholar
  22. 22.
    Pribyl, P., Fábera, V., Faltus, V.: Domain-oriented ontology for ITS system. In: 2012 ELEKTRO, pp. 364–368 (2012)Google Scholar
  23. 23.
    Sure, Y., Staab, S., Struder, R.: On-to-knowledge methodology. In: Handbook on Ontologies, pp. 117–132 (2004)CrossRefGoogle Scholar
  24. 24.
    Tabares García, J.J., Jiménez Builes, J.A.: Ontology for the evaluation process in higher education. Revista Virtual Universidad Católica del Norte 42, 68–79 (2014)Google Scholar
  25. 25.
    Tartir, S., Arpinar, I.B., Moore, M., Sheth, A.P., Aleman-meza, B.: OntoQA: metric-based ontology quality analysis. In: IEEE Workshop on Knowledge Acquisition from Distributed, Autonomous, Semantically Heterogeneous Data and Knowledge Sources, pp. 45–53. IEEE (2005)Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Alan Ramírez-Noriega
    • 1
  • Yobani Martínez-Ramírez
    • 1
  • José Armenta
    • 1
  • Sergio Miranda
    • 1
  • J. Francisco Figueroa Pérez
    • 1
  • José Mendivil-Torres
    • 1
  • Samantha Jiménez
    • 2
  1. 1.Universidad Autónoma de SinaloaCuliacánMexico
  2. 2.Universidad Autónoma de Baja CaliforniaMexicaliMexico

Personalised recommendations