https://9dok.net/document/yd7r3kj1-el-tractable-existential-rules-complex-role-inclusions.html