Hypertableau Reasoning for Description Logics