TY  - RPRT
TI  - Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)
AU  - Elena Botoeva
AU  - Carsten Lutz
AU  - Vladislav Ryzhikov
AU  - Frank Wolter
AU  - Michael Zakharyaschev
PY  - 2016
UR  - https://arxiv.org/abs/1604.04164
ID  - 1604.04164
ER  -