M. Ortiz de la Fuente:
"Query Answering in Expressive Description Logics; Techniques and Complexity Results";
Supervisor, Reviewer: T. Eiter, D. Calvanese; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 2010-05-25.
Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen