A Proof Theory for Description Logics Book uri icon