Para especificar una conceptualización , se necesitan establecer axiomas que limiten las posibles interpretaciones para los términos definidos .En 1997, Borst hizo más específica la definición de Gruber al afirmar que una ontología es "una especificación formal de una conceptualización compartida".