On the Scalability of Description Logic Instance Retrieval.

Volker Haarslev Ralf Möller On the Scalability of Description Logic Instance Retrieval. 99-142 2008 41 J. Autom. Reasoning 2 http://dx.doi.org/10.1007/s10817-008-9104-7 db/journals/jar/jar41.html#HaarslevM08