Estos lenguajes tradicionales estaban basados en lógica de primer orden, como Ontolingua, OKBC y Flogic y sobre lógica descriptiva, como LOOM.