Nótese que la distinción entre TBox y ABox no es significante en el mismo sentido que en la lógica de primer orden (la cual subsume la mayoría de las DL).