Du, J.; Wan, H.; Ma, H. Practical TBox Abduction Based on Justification Patterns. AAAI 2017, 31.