T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query answering in description logics with transitive roles";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-02, 2009; 32 pages.
Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen