1. Thomas Eiter, Magdalena Ortiz, Mantas Šimkus, Trung-Kien Tran, and Guohui Xiao.
    Query Rewriting for Horn-SHIQ plus Rules.
    AAAI 2012. (To appear)
    [ paper | TR ]
  2. Thomas Eiter, Magdalena Ortiz, Mantas Šimkus, Trung-Kien Tran, and Guohui Xiao.
    Towards Practical Query Answering for Horn SHIQ.
    DL 2012.
    [ paper | slides | TR ]
  3. Trung-Kien Tran. Query Answering in the Description Logic Horn-SHIQ.
    Master thesis at TU Wien 2011.
    [ paper ]