Carsten Lutz, and Lukas Schulze. Description Logics with Abstraction and Refinement. arXiv cs.AI, arXiv, 2023. [PUMA: Abstraction Description Logics Refinement Yaff]