https://123dok.net/document/y6eml2g4-from-classical-consistent-query-answering-under-existential-rules.html