TY - RPRT TI - CQE in Description Logics Through Instance Indistinguishability (extended version) AU - Gianluca Cima AU - Domenico Lembo AU - Riccardo Rosati AU - Domenico Fabio Savo PY - 2020 UR - https://arxiv.org/abs/2004.11870 ID - 2004.11870 ER -