TY - RPRT TI - Finite Axiomatizability by Disjunctive Existential Rules AU - Marco Calautti AU - Marco Console AU - Andreas Pieris PY - 2025 UR - https://arxiv.org/abs/2508.11946 ID - 2508.11946 ER -