Las ontologías computacionales son estructuras procesables por máquinas que representan dominios de interés particulares. Integran conocimientos que pueden ser utilizados por humanos o máquinas para la toma de decisiones y la resolución de problemas. El objetivo principal de esta revisión sistemática es investigar el papel de las ontologías formales en el desarrollo de sistemas de información, es decir, cómo estas estructuras basadas en gráficos pueden ser beneficiosas durante el análisis y diseño de los sistemas de información. Se utilizaron bases de datos en línea específicas para identificar estudios centrados en las interconexiones entre ontologías e ingeniería de sistemas. Se encontraron ciento ochenta y siete estudios durante la primera fase de la investigación. Se examinaron veintisiete estudios tras la eliminación de documentos duplicados e irrelevantes. El mapeo mental fue sustancialmente útil para organizar las ideas básicas e identificar cinco grupos temáticos que muestran los principales roles de las ontologías formales en el desarrollo de sistemas de información. Las ontologías formales se utilizan principalmente en la interoperabilidad de sistemas de información, la gestión de recursos humanos, la representación del conocimiento del dominio, la implicación de la semántica en el modelado basado en el lenguaje de modelado unificado (UML) y la gestión del código de programación y la documentación. Explicamos las ideas principales en los estudios revisados y sugerimos posibles extensiones a esta investigación.