Magdalena Ortiz Mantas Simkus Thomas Eiter Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. 504-510 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#OrtizSE08