J. Du, H. Wan, and H. Ma, “Practical TBox Abduction Based on Justification Patterns”, AAAI, vol. 31, no. 1, Feb. 2017.