A comparison of reasoning techniques for querying large description logic aboxes (2006)

by Boris Motik, Ulrike Sattler
Venue:In Miki Hermann and Andrei Voronkov, editors, LPAR, volume 4246 of Lecture Notes in Computer Science