Chekol, M. W.; Euzenat, J.; Genevès, P.; Layaïda, N. SPARQL Query Containment Under SHI Axioms. AAAI 2021, 26, 10-16.