Foundations of Description Logics
Hypertableau Reasoning for Description Logics