Title: A Proof Theory For Description Logics
Subjects: Logic, symbolic and mathematical