D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-04, 2009; 46 pages.
Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen