Dmitry Tsarkov Ian Horrocks Peter F. Patel-Schneider Optimizing Terminological Reasoning for Expressive Description Logics. 277-316 2007 39 J. Autom. Reasoning 3 http://dx.doi.org/10.1007/s10817-007-9077-y db/journals/jar/jar39.html#TsarkovHP07