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

Teaching activities

• at TU Dresden
  • Lecture "Introduction to automatic structures" (winter term '11/'12)
  • Proseminar "Perlen der Theoretischen Informatik" (winter term '11/'12)
• elsewhere
  • ICCL Summer school at the Udayana University in Denpasar, Indonesia, September 2012
• and longer ago

Organizational activities

• PC member of the 4th International Conference on Agents and Artificial Intelligence (ICAART'12)
• PC member of the 2nd International Conference on Web Intelligence, Mining and Semantics (WIMS'12)
• PC member of the 20th European Conference on Artificial Intelligence (ECAI'12)
• PC member of the 25th International Workshop on Description Logics (DL'12)
• co-Chair of the 2nd International Workshop on Uncertainty in Description Logics (UniDL'12)
• Organizational activities for past events

Reviewing activities

• for conferences:
  AAAI, CADE, ECAI, ESWC, ICAART, IJCAI, IJCAR, ISWC, KI, KR, LPAR, ODBASE and WIMS'12
• ... and for journals:
  Artificial Intelligence Journal (AIJ), Fundamenta Informaticae (FI), Information Systems (IS), 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).

Research projects

• I am an associated member of
  • CRC "Highly Adaptive Energy-Efficient Computing" (HAEC)
  • DFG Research Training Group "Quantitative Logics and Automata"
    of TU Dresden and University of Leipzig (QuantLA)
• I have 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
  • "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 application in collaboration with and funded by Siemens.
  • "Non-standard inferences in Description Logics"
    a project on new inference services for DLs funded by DFG.