On Finite Entailment of Non-Local Queries in Description Logics