Combining Existential Rules and Transitivity: Next Steps | Read Paper on Bytez