Ellmauthaler, S.; Krötzsch, M.; Mennicke, S. Answering Queries With Negation over Existential Rules. AAAI 2022, 36, 5626-5633.