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

by B Motik, U Sattler
Venue:In Logic for Programming, Artificial Intelligence, and Reasoning