ONTOLORE

From ONTOLORE

This site is the gateway to ontology-related research on logic and reasoning at

• AIFB, Karlsruhe Institute of Technology
• FZI-IPE Karlsruhe

headed by Rudi Studer.

Topics

Our research covers the whole range of logic and reasoning aspects related to the Semantic Web. We can classify it roughly into the following categories.

• OWL
• Rules
• Scalability
• Commonsense reasoning
• Logic and Lattices
• Applications

People

Many (current and former) people at AIFB and FZI frequently contribute to the activities reported on this site. They are acknowledged on the corresponding topic pages. The current core reasoning team is as follows.

• Darko Anicic (PhD student)
• Jürgen Bock (PhD student)
• Stephan Grimm (assistant professor)
• Markus Krötzsch (PhD student)
• Anees ul Mehdi (PhD student)
• Sebastian Rudolph (assistant professor, lead)
• Tuvshintur Tserendorj (PhD student)

Former members

• Peter Haase (assistant professor)
• Pascal Hitzler (assistant professor)
• Yue Ma
• Yiorgos Trimponias (PhD student)
• Guilin Qi (postdoc)

Projects

Currently running projects which are devoted fully or in part to OntoLoRe topics:

• ExpresST
• NeOn
• ReaSem
• Theseus
• X-Media
• ACTIVE
• SOA4ALL

Recently closed projects:

• KnowledgeWeb
• KOReA
• DIP
• SmartWeb

Books

written or edited by OntoLoRe members

• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Foundations of Semantic Web Technologies. Textbooks in Computing, Chapman and Hall / CRC Press, 2009.
• Pascal Hitzler, Henrik Schärfe (eds.), Conceptual Structures in Practice. Studies in Informatics Vol. 2, Chapman & Hall / CRC Press, to appear 2009.
• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure, Semantic Web - Grundlagen. Springer, 2008.
• Rudi Studer, Stephan Grimm, Andreas Abecker (eds.), Semantic Web Services: Concepts, Technologies, and Applications. Springer, 2007.

Contact

Please contact any of the above-mentioned persons if you have questions about this site or about our work.