@article{AIJ-2019-alc-inseparability,
  author    = {Elena Botoeva and
               Carsten Lutz and
               Vladislav Ryzhikov and
               Frank Wolter and
               Michael Zakharyaschev},
  title     = {Query inseparability for {ALC} ontologies},
  journal   = {Artif. Intell.},
  volume    = {272},
  pages     = {1--51},
  year      = {2019},
  webpdf = {https://www.doc.ic.ac.uk/~ebotoeva/papers/blrwz-AIJ-19.pdf},
}