Se trata de un modelo basado en la lógica descriptiva en el cual se definen los conceptos, términos y secuencias (strings), así como la relación que existe entre estos.