Practical TBox Abduction Based on Justification Patterns

Open in new window