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, where you may find my accepted, but not yet published papers.

Activities

Teaching activities

• at TU Dresden (summer term 2013)
  • Tutorials for the lecture Einführung in die Informatik for Bachelor Wirtschaftsinformatik, Lehramtsbezogener Bachelor—in German
  • Seminar "Complexity of Board Games"
  • Masterpraktikum and Komplexpraktikum
  • not so recently supervised theses
• elsewhere
  • QuantLA Spring School 2013 in Gohrisch
  • Reasoning web summer school 2013 in Mannheim
• and longer ago

Organizational activities

• PC member of the 5th International Conference on Agents and Artificial Intelligence (ICAART'13)
• PC member of the 3rd International Conference on Web Intelligence, Mining and Semantics (WIMS'13)
• PC member of the 27th AAAI Conference on Artificial Intelligence (AAAI'13)
• PC member of the AAAI 2013 Student Abstract and Poster Program, a special track of the AAAI main conference
• PC member of the JAIR Special Issue on DLs
• PC member of the 26th International Workshop on Description Logics (DL 2013)
• co-Organizer of the special session on "Vagueness, Imprecision and Uncertainty in Description Logics" at the Joint Rough Set Symposium (JRS 2013).
• PC member of the 12th International Semantic Web Conference (ISWC 2013)
• PC member of the 7th Multi-Disciplinary International Workshop on Artificial Intelligence (MIWAI 2013)
• PC member of the 5th International Conference on Agents and Artificial Intelligence (ICAART'14)
• 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 Logic and Computation (JLC), Journal of Web Semantics (JoWS), Knowledge and Information Systems (KAIS).

Research projects

• I am an associated member of the
  • 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.