Text this: A Proof Theory for Description Logics