Reasoning for Semantic Error Detection in Text
Pellet: An OWL DL Reasoner