Email Record: A proof theory for description logics /