@article{descriptionlogicswithabstractionand,
  title = {Description Logics with Abstraction and Refinement},
  author = {Carsten Lutz and Lukas Schulze},
  year = {2023},
  eprint = {2306.03717},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2306.03717v3},
}