Model-theoretic Characterizations of Existential Rule Languages