A Proof Theory for Description Logics - Alexandre Rademaker ((SpringerBriefs in Computer Science))