Charting the Borderland – Decidability in Description Logics and Beyond

Sebastian Rudolph's photo