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
  • Tutorials for the lecture Einführung in die Informatik for Bachelor Wirtschaftsinformatik, Lehramtsbezogener Bachelor—in German
    (summer term 2012)
  • Seminar "Advanced topics in automatic structures" (summer term 2012)
  • Recently supervised theses:
    • Karsten Lehmann (Diploma Thesis)
    • Andreas Ecke (Belegarbeit)
• 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 25th International Workshop on Description Logics (DL'12)
• co-Chair of the 2nd International Workshop on Uncertainty in Description Logics (UniDL'12)
• PC member of the 20th European Conference on Artificial Intelligence (ECAI'12)
• PC member of the 6th "Starting Artificial Intelligence Research" Symposium (STAIRS'12)
• PC member of the 5th International Conference on Agents and Artificial Intelligence (ICAART'13)
• Organizational activities for past events

Reviewing activities

• for conferences:
  AAAI, CADE, ECAI, ESWC, ICAART, IJCAI, IJCAR, ISWC, KI, KR, LPAR, ODBASE and WIMS
• ... 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.