| 2007 |
|---|
| 8 | | Joachim Baumeister,
Thomas Kleemann,
Dietmar Seipel:
Towards the Verification of Ontologies with Rules.
FLAIRS Conference 2007: 524-529 |
| 2006 |
|---|
| 7 | EE | Thomas Kleemann:
Towards Mobile Reasoning.
Description Logics 2006 |
| 2005 |
|---|
| 6 | EE | Alex Sinner,
Thomas Kleemann:
KRHyper - In Your Pocket.
CADE 2005: 452-457 |
| 5 | EE | Thomas Kleemann:
Matchmaking augmented with general Knowledge.
Description Logics 2005 |
| 4 | EE | Thomas Kleemann,
Alex Sinner:
Decision Support for Personalization on Mobile Devices.
ICLP 2005: 404-406 |
| 3 | EE | Thomas Kleemann,
Alex Sinner:
User Profiles and Matchmaking on Mobile Phones.
INAP 2005: 135-147 |
| 2004 |
|---|
| 2 | EE | Peter Baumgartner,
Ulrich Furbach,
Margret Groß-Hardt,
Thomas Kleemann:
Optimizing the Evaluation of XPath Using Description Logics.
INAP/WLP 2004: 1-15 |
| 1 | EE | Peter Baumgartner,
Ulrich Furbach,
Margret Groß-Hardt,
Thomas Kleemann:
Model Based Deduction for Database Schema Reasoning.
KI 2004: 168-182 |
