En DLs, existe un distinción entre la llamada TBox (caja terminológica) y la ABox (caja de aserciones).