Scientific interests

• Knowledge representation, in particular Description Logics (DLs),
• Non-standard inferences in DLs,
• Implementations of DL reasoning systems.

Publications

• List of my publications.
• List of all publications of the chair for automata theory.

Activities

Organizational activities

• PC member for 24th AAAI Conference on Artificial Intelligence (AAAI'10).
• PC member for the 23rd International Workshop on Description Logics (DL'10).
• PC co-chair for the First Workshop on Uncertainty in Description Logics (UniDL'1.0).
• PC member for the 19th European Conference on Artificial Intelligence (ECAI'10).
• Organizational activities for past events

Reviewing activities

• for conferences:
  AAAI, CADE, ODBASE, KR, ECAI, ESWC, KI, LPAR, IJCAI, IJCAR, ISWC
• ... and for journals:
  Artificial Intelligence Journal (AIJ), Journal of AI Communications (AIcom), Journal of Artificial Intelligence Research (JAIR), Journal of Automated Reasoning (JAR), Journal of Web Semantics (JoWS), Knowledge and Information Systems (KAIS).

Teaching activities

• at TU Dresden
  • lecture Advanced topics in Description Logics (winter term '09/10)
  • Seminar Probability in Logics (winter term '09/10)
• elsewhere
  • Course "Reasoning in EL and in Description Logics in general" at the 2010 Reasoning Web Summer School.
  • Course "Introduction to Description Logics" for the 2009 Masters Ontology Spring School (MOSS'09) at the Meraka Institute in Tshwane (Pretoria), South Africa.
• and longer ago

Research projects I worked in

• "Semantic Technologies as UPCM Research Method" (STURM) a SAP research funded project on ontology usage.
• "Thinking ONtologiES" (TONES) a European Union FET project on ontology tasks such as design, integration.
• "Context Modeling and Reasoning" (ConMoRe) a joint project with the Chair for computer networks of TU Dresden on the evaluation of DL reasoning systems for context modeling and reasoning for context-aware applications. In collaboration with and funded by Siemens.
• "Non-standard inferences in Description Logics" a project on new inference services for DLs funded by DFG.