Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
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)
Britannica T.E.o.E: Brittanica (2017). https://www.britannica.com/
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). https://doi.org/10.1007/978-3-642-02614-0_21
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)
Coelho, F., Souza, R., Codeço, C.: Towards an ontology for mathematical modeling with application to epidemiology. Adv. Knowl. Organ. 13, 138–144 (2012)
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)
Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O.: OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management. CoRR, pp. 1–18 (2017)
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). http://arxiv.org/abs/1408.6806
Farmer, W.: MKM: a new interdisciplinary field of research. SIGSAM Bull. 38, 47–52 (2004)
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)
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)
Gasevic, D., Djuric, D., Devedzic, V.: Model Driven Engineering and Ontology Development. Springer, Heidelberg (2009)
Jeschke, S.: KEA - A Knowledge Management System for Mathematics KEA - A Knowledge Management System for Mathematics (December 2007) (2014)
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)
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)
Leung, C.H.: Res. J. Inf. Technol. 2(2), 66–80 (2010)
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)
Lohmann, S., Negru, S., Haag, F., Ertl, T.: Visualizing ontologies with VOWL. Semant. Web 7(4), 399–419 (2016)
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)
Noy, N.F., McGuinness, D.L.: Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory, p. 25 (2001)
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)
Pribyl, P., Fábera, V., Faltus, V.: Domain-oriented ontology for ITS system. In: 2012 ELEKTRO, pp. 364–368 (2012)
Sure, Y., Staab, S., Struder, R.: On-to-knowledge methodology. In: Handbook on Ontologies, pp. 117–132 (2004)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Ramírez-Noriega, A. et al. (2018). Towards a Mathematical Knowledge Management System: Ontology to Model Linear Equations. In: Rocha, Á., Adeli, H., Reis, L.P., Costanzo, S. (eds) Trends and Advances in Information Systems and Technologies. WorldCIST'18 2018. Advances in Intelligent Systems and Computing, vol 745. Springer, Cham. https://doi.org/10.1007/978-3-319-77703-0_51
Download citation
DOI: https://doi.org/10.1007/978-3-319-77703-0_51
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-77702-3
Online ISBN: 978-3-319-77703-0
eBook Packages: EngineeringEngineering (R0)