Thomas Kleemann

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Joachim Baumeister, Thomas Kleemann, Dietmar Seipel
Towards the Verification of Ontologies with Rules. FLAIRS Conference (2007)
Thomas Kleemann
Towards Mobile Reasoning. Description Logics (2006)
Thomas Kleemann
Matchmaking augmented with general Knowledge. Description Logics (2005)
Thomas Kleemann, Alex Sinner
Decision Support for Personalization on Mobile Devices. ICLP (2005)
Alex Sinner, Thomas Kleemann
KRHyper - In Your Pocket. CADE (2005)
Thomas Kleemann, Alex Sinner
User Profiles and Matchmaking on Mobile Phones. INAP (2005)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP (2004)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
Model Based Deduction for Database Schema Reasoning. KI (2004)