Model Based Deduction for Database Schema Reasoning. - Peter Baumgartner 001; Ulrich Furbach; Margret Groß-Hardt; Thomas Kleemann (KI, 2004)

Optimizing the Evaluation of XPath Using Description Logics. - Peter Baumgartner 001; Ulrich Furbach; Margret Groß-Hardt; Thomas Kleemann (INAP/WLP, 2004)

KRHyper - In Your Pocket. - Alex Sinner; Thomas Kleemann (CADE, 2005)

Matchmaking augmented with general Knowledge. - Thomas Kleemann (Description Logics, 2005)

Decision Support for Personalization on Mobile Devices. - Thomas Kleemann; Alex Sinner (ICLP, 2005)

User Profiles and Matchmaking on Mobile Phones. - Thomas Kleemann; Alex Sinner (INAP, 2005)

Towards Mobile Reasoning. - Thomas Kleemann (Description Logics, 2006)

Towards the Verification of Ontologies with Rules. - Joachim Baumeister; Thomas Kleemann; Dietmar Seipel (FLAIRS, 2007)