HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic - Algahtani, Eyad (arXiv.org)