Practical TBox Abduction Based on Justification Patterns