A Proof Theory for Description Logics door Alexandre Rademaker