M. W. Chekol, J. Euzenat, P. Genevès, and N. Layaïda, “SPARQL Query Containment Under SHI Axioms”, AAAI, vol. 26, no. 1, pp. 10–16, Sep. 2021.