Title: A Proof Theory for Description Logics
Subjects: Mathematical Logic and Formal Languages, Mathematics of Computing, Computer science