@misc{indiciae70429859c5b6,
  title = {Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)},
  author = {Elena Botoeva and Carsten Lutz and Vladislav Ryzhikov and Frank Wolter and Michael Zakharyaschev},
  year = {2016},
  url = {https://arxiv.org/abs/1604.04164},
  note = {Source identifier: 1604.04164}
}