@misc{indiciae63efa035c412, title = {Computing CQ lower-bounds over OWL 2 through approximation to RSA}, author = {Federico Igne and Stefano Germano and Ian Horrocks}, year = {2021}, url = {https://arxiv.org/abs/2107.00369}, note = {Source identifier: 2107.00369} }