Describir: HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic