Finite Lattices Do Not Make Reasoning in ALCI Harder