Por ejemplo, un razonador podría procesar la TBox y la ABox por separado.