TY  - RPRT
TI  - Query Inseparability for ALC Ontologies
AU  - Elena Botoeva
AU  - Carsten Lutz
AU  - Vladislav Ryzhikov
AU  - Frank Wolter
AU  - Michael Zakharyaschev
PY  - 2019
UR  - https://arxiv.org/abs/1902.00014
ID  - 1902.00014
ER  -