OntoLexmath: An Ontology for Dealing with Mathematical Lexicon

  • M. Angélica Pinninghoff J.
  • Angel Castillo C.
  • Pedro Salcedo L.
  • Ricardo Contreras A.Email author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10338)


This work is aimed to the design and implementation of an ontology, for helping to quantify and describe the lexicon of students in a particular location, focused on mathematics. The idea is to build a tool that can help to share, via Internet, this particular lexicon, encouraging new research efforts pointing to support new educational systems. The final product, the resulting ontology, was evaluated taking into account different parameters as suggested by the selected methodology, showing that results satisfy the initial goals of the project.


Ontology Mathematical lexicon 


  1. 1.
    Borst, W.N.: Construction of engineering ontologies for knowledge sharing and reuse. Ph.D. thesis, University of Twente (1997)Google Scholar
  2. 2.
    Farquhar, A., Fikes, R., Rice, J.: Tools for assembling modular ontologies in Ontolingua. In: Proceedings of Fourteenth American Association for Artificial Intelligence Conference (AAAI 1997) (1997)Google Scholar
  3. 3.
    Gómez-Pérez, A., Fernández, M., Vicente, A.: Towards a method to conceptualize domain ontologies. In: Budapest: ECAI96 Workshop on Ontological Engineering (1996)Google Scholar
  4. 4.
    Gruber, T.R.: Toward Principles for the design of ontologies used for for knowledge sharing. Stanford Knowledge System Laboratory (1993)Google Scholar
  5. 5.
    Grüninger, M., Fox, M.: Methodology for the design, evaluation of ontologies. In: Montreal: Workshop on Basic Ontological Issues in Knowledge Sharing (1995)Google Scholar
  6. 6.
    Lenant, D., Guha, R.: Building Large Knowledge-Based System: Representation and Inference in the Cyc Proyect. Addison-Wesley, Boston (1990)Google Scholar
  7. 7.
    Noy, N., McGuiness, D.: Ontology development 101: a guide to creating your first ontology. Stanford knowledge systems laboratory technical report KSL-01-05 and Stanford medical informatics technical report SMI–0880 (2001)Google Scholar
  8. 8.
    Protégé V.4.3. Accessed Aug 2016
  9. 9.
    Ramos, E., Núñez, H., Casañas, R.: Esquema para evaluar ontologías únicas para un dominio de conocimiento. Revista Venezolana de Información, Tecnología y Conocimiento (2009)Google Scholar
  10. 10.
    Salcedo Lagos, P., del Valle, M., Contreras Arriagada, R., Pinninghoff, M.A.: LEXMATH - a tool for the study of available lexicon in mathematics. In: Ferrández Vicente, J.M., Álvarez-Sánchez, J.R., de la Paz López, F., Toledo-Moreo, F.J., Adeli, H. (eds.) IWINAC 2015. LNCS, vol. 9108, pp. 11–19. Springer, Cham (2015). doi: 10.1007/978-3-319-18833-1_2 CrossRefGoogle Scholar
  11. 11.
    Smith, B.: Ontology. In: Blackwell Guide to the Philosophy of Computing and Information, pp. 155–166. Blackwell, Oxford (2004)Google Scholar
  12. 12.
    Uschold, M., King, M.: Towards a methodology for building ontologies. In: Montreal: IJCAI95 Workshop on Basic Ontological Issues in Knowledge Sharing (1995)Google Scholar
  13. 13.
    Uschold, M., Jasper, R.: A framework for understanding and classifying ontology applications. In: Stockholm: Proceedings of the IJCAI 1999 Workshop on Ontologies and Problem Solving Methods (KRR5) (1999)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • M. Angélica Pinninghoff J.
    • 1
  • Angel Castillo C.
    • 1
  • Pedro Salcedo L.
    • 2
  • Ricardo Contreras A.
    • 1
    Email author
  1. 1.Department of Computer ScienceUniversity of ConcepciónConcepciónChile
  2. 2.Research and Educational Informatics DepartmentUniversity of ConcepciónConcepciónChile

Personalised recommendations