Practical TBox Abduction Based on Justification Patterns. - Jianfeng Du; Hai Wan; Huaguan Ma (AAAI, 2017)