Optimized description logic reasoning via core blocking (2010)

by B Glimm, I Horrocks, B Motik
Venue:In IJCAR