Gruber introdujo el término para referirse a una especificación de una conceptualización: Una ontología es una descripción (como una especificación formal de un programa) de los conceptos y relaciones que pueden formalmente existir para un agente o comunidad de agentes.