Combining decidability paradigms for existential rules