Reasoning for Semantic Error Detection in Text
Hypertableau Reasoning for Description Logics