Meine primären wissenschaftlichen Interessen sind Wissensrepräsentation und automatisches Schlussfolgern, insbesondere automatisches Schlussfolgern für Beschreibungslogiken und Ontologiesprachen, wie z.B. OWL und Fragmente der Prädikatenlogik erster Stufe. Ich arbeite im Moment hauptsächlich an der Entwicklung und Implementierung von sogenannten Konsequenz-basierten Verfahren für Ontologiesprachen. Dieses Forschungsthema habe ich an der Universität Oxford angefangen. Im Moment gibt es bereits mehrere Systeme, wie z.B. CB, ConDOR und ELK, die bei der Entwicklung von den großen medizinischen Ontologien wie z.B. SNOMED CT eingesetzt werden. Ausserdem habe ich in Oxford mehrere theoretische Arbeiten durchgeführt, in denen ich verschiedene Erweiterungen von Ontologiesprachen, Beschreibungs- und Modal- Logiken erforscht habe, wie z.B. komplexe Rollen-Axiome, Logiken mit Zahlenrestriktionen, Konjunktionen von Rollen, und konjunktive Anfragen. Früher, nach meiner Promotion, habe ich an der Universität Manchester an dem Thema Modularität in Ontologien zusammen mit Bernardo Cuenca Grau, Ian Horrocks und Uli Sattler gearbeitet. Meine Promotion habe ich in Saarbrücken im Max-Planck-Institut für Informatik in der Gruppe von Prof. Harald Ganzinger abgeschlossen. Hierbei habe ich Resolutions-basierte Entscheidungsverfahren für Fragmente der Prädikatenlogik erste Stufe entwickelt z.B. für das Guarded Fragment und das Zwei-Variablen Fragment.