Thomas Kleemann

According to our database, Thomas Kleemann authored at least 8 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Towards the Verification of Ontologies with Rules.

Joachim Baumeister, Thomas Kleemann, Dietmar Seipel

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006

Towards Mobile Reasoning.

Thomas Kleemann

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

User Profiles and Matchmaking on Mobile Phones.

Thomas Kleemann, Alex Sinner

Proceedings of the Declarative Programming for Knowledge Management, 2005

Decision Support for Personalization on Mobile Devices.

Thomas Kleemann, Alex Sinner

Proceedings of the Logic Programming, 21st International Conference, 2005

Matchmaking augmented with general Knowledge.

Thomas Kleemann

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

KRHyper - In Your Pocket.

Alex Sinner, Thomas Kleemann

Proceedings of the Automated Deduction, 2005

2004

Optimizing the Evaluation of XPath Using Description Logics.

Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Model Based Deduction for Database Schema Reasoning.

Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004