Scientific interests

• knowledge representation, in particular Description Logics (DLs),
• non-standard inferences in DLs, such as generalizations or reasoning with similarity
• context recognition and query answering
• 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.

Current research projects

• I am a principal investigator in the
  • Collaborative Research center "Highly Adaptive Energy-Efficient Computing" (HAEC)
  • DFG Research Training Group "Quantitative Logics and Automata" of TU Dresden and University of Leipzig (QuantLA)
• I am an associated member of the DFG Research Training Group "Role-based Software Infrastructures for Continuous-Context-Sensitive Systems"(RoSI)

Activities

Teaching activities

• at TU Dresden
  
  • Lecture Introduction to Automatic Structures
  • Lecture Einführung in die Informatik for Bachelor Wirtschaftsinformatik, Lehramtsbezogener Studiengänge —in German
  • Recently supervised theses or student reports:
    • Simi-Framework for Concept-Similarity-Measures: property analysis and expansion to more powerful Description Logics P. Lätsch (Diploma Thesis)
    Not so recently supervised theses can be found here.
    If you are looking for a topic for a Bachelor's, Master's or Diploma thesis, write me an email!
• elsewhere
  • QuantLA spring school in Leipzig
  • DAAD Summer School in Rayong, Thailand
• and longer ago

Organizational activities

• co-editor of the German Journal on Artificial Intelligence (Künstliche Intelligenz)
• member of the DL steering committee
• PC member of the 27th international Workshop on Description Logics (DL'14)
• PC co-chair of the international workshop on "Logics for Reasoning about Preferences, Uncertainty, and Vagueness" (PRUV'14)
• PC member of the 13th International Semantic Web Conference (ISWC'14)
• PC member of the ISWC 2014 Posters and Demonstrations Track (ISWC Demo and Poster Track'14)
• PC member of the 3rd International Workshop on Ordering and Reasoning (OrdRing 2014)
• PC member of International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI'14)
• PC member of the 4th Joint International Semantic Technology Conference (JIST'14)
• PC member of the 8th Multidisciplinary International Workshop on Artificial Intelligence (MIWAI'14)
• PC member of the 6th International Conference on Agents and Artificial Intelligence (ICAART'15)
• PC member for 11th International Workshop on Context and Activity Modeling and Recognition
• Workshop Chair for the 38th German Conference on Artificial Intelligence (KI'15)
• Organizational activities for past events

Reviewing activities

• for conferences:
  AAAI, CADE, ECAI, ESWC, ICAART, IJCAI, IJCAR, ISWC, JIST, KI, KR, LPAR, ODBASE and WIMS
• ... and for journals:
  Artificial Intelligence Journal (AIJ), Fundamenta Informaticae (FI), Information Systems (IS), IEEE Intelligent Systems (ISys), 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), Mathematics in Computer Science (MCS).

Former research projects

• "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.