OMAK System: Ontology-based Mathematical Knowledge Management System

Resumen

Knowledge management systems based on ontologies are
important software tools to maintain the knowledge of
experts. However, the mathematical field needs to improve
aspects such as creating repositories of formalized
mathematics, mathematical search and retrieval, as well as
implementing math assistants for education. This research
proposes a Mathematical Knowledge Management system
based on Ontologies (OMAK system) to provide support in
solving mathematical problems. In essence, the OMAK
system maintains a knowledge base of problems, organized
with the support of an ontology. The case study in this
research considered Linear Equations Systems (LES). Users
search LES problems solved in the OMAK system, to serve
as a guide to solve other similar equations systems. The
OMAK system was used with a student group to determine
the quality of searches and the efficiency of results. Results
show that the OMAK system provides support in the
resolution of mathematical problems to 92.5% of students,
preserving the teaching experience in a knowledge repository
that can be updated through the system.