A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes (2006)

by B Motik, U Sattler
Venue:Proc. of the 13th Int. Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006