Ciertos problemas claves de inferencia están ligados a una pero no a la otra ('clasificación' está relacionado con la TBox, 'chequeo de instancia' a la ABox).