Trung Kien Tran

Trung Kien Trans has left Ulm University. This site will no longer be maintained.

I am a scientific staff of the Institute of Artificial Intelligence. At the same time, I am doing my Ph.D. under the supervision of Prof. Dr. Birte Glimm and Dr. Yevgeny Kazakov. Before joining the institute, I was a researcher at VU Brussels.

I started my master at TU Dresden  and completed with distinction at Knowledge Based System GroupTU Vienna. The master thesis focused on query answering for Horn-SHIQ ontologies and was supervised by Prof. Dr. Thomas EiterDr. Mantas Simkus, and Dr. Magdalena Ortiz

More details and updates can be found in my my personal homepage.

Further Information

  • Semantics Web
  • Scalable Reasoning
  • Graph Databases
  • Query Answering

  1. Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao: Query Rewriting for Horn-SHIQ plus Rules. AAAI 2012.
  2. Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-KienTran, Vincen Vialard: Abstraction Refinement for Ontology Materialization. ISWC 2014.
  3. Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran: Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI 2017


  • Orar: ontology reasoning via Abstraction Refinement system
  • Clipper: a query rewriting engine for Horn SHIQ