Prof. Dr. Birte Glimm

Since July 2011 I work at the University of Ulm within the Institute of Artificial Intelligence. Until June 2017  as a junior professor and since then as full professor. In 2019 our project "Do it yourself, but not alone: Companion-Technology for Home Improvement" was awarded a price for cooperations between science and industry (Kooperationspreis Wissenschaft-Wirtschaft). In 2017 I received a Google Faculty Research Award and I was honoured with the Mileva Einstein-Marić-Prize

Before coming to Ulm, I was a research assistant in the Department of Computer Science at the University of Oxford, where I worked in the Information Systems Group, mainly on developing algorithms for automated reasoning in expressive Description Logics and on the implementation of the HermiT reasoner.

I did my PhD in Manchester in the Information Management Group under the supervision of Prof. Dr. Ian Horrocks and Prof. Dr. Uli Sattler and I was honoured with the Best Thesis Award from the School of Computer Science at Manchester University in 2008. From September 2001 until July 2004 I studied Computer Science in the Hamburg University of Applied Sciences and I received my bachelor degree with an award for the best degree.

Before studying Computer Science, I worked for 3.5 years in Industry and did another degree in Communication Design.

Further Information

My scientific interest is mainly in knowledge representation and automatic reasoning. I develop, implement and optimize algorithms for automatic reasoning in expressive description logics and analyze their complexity. For example, I have developed various optimizations for tableau algorithms, novel procedures for combining tableau and saturation-based algorithms and algorithms for answering queries. Our new abstraction and refinement procedure allows conclusions to be drawn about knowledge bases with very large amounts of data. We are also working on providing autonomous vehicles with dynamic knowledge of map data, where a particular challenge lies in the high dynamics. Our research on the generation of explanations in natural language allows the automated derivations to be made comprehensible.

I am an editor of the SPARQL 1.1 Entailment Regimes specification, developed within the SPARQL Working Group of the W3C. Entailment regimes extend SPARQL to work with semantics other than simple entailment, e.g., RDF and RDFS semantics and OWL Direct and RDF-Based Semantics. I am also an editor of the OWL 2 Web Ontology Language Conformance specification, which describes the conditions that OWL 2 tools must satisfy in order to be conformant with the language specification.

  • since 2019 Chair of the Exam Board Computer Science (for BSc+Msc Computer Science, BSc+Msc Media Informatics, BSc+Msc Software Engineering, MSc Artificial Intelligence)
  • since 2014 Chair of the Admissions Board Cognitive Systems
  • since 2022 Deputy Ombudsperson Good Research Practice
  • since 2019 Deputy of the Exam Board Cognitive Systems
  • seit 2022 Member Dr. rer. nat. PhD Commission
  • 2019-2022 Chair of the Exam Board Cognitive Systems
  • 2018-2021 Member of the Study Commission Cognitive Systems
  • SoSe 2021 Member of the Study Commission Computer Science
  • 2015-2018 Programme Coordination MSc Cognitive Systems

2020 Best Paper Award, Haonan Qiu, Adel Ayara and Birte Glimm, International Conference on Knowledge Engineering and Ontology Development
2020 Best Research Track Senior Programme Committee Member, International Semantic Web Conference
2019 Kooperationspreis Wissenschaft-Wirtschaft
2019 Best Reproducibility Award, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference
2019 Best Research Paper Award runner-up, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference
2017 Google Faculty Research Award
2017 Mileva Einstein-Marić-Preis 
2016 Best Resources Paper, B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm and A. Steigmiller, International Semantic Web Conference
2015 OWL Reasoner Evaluation Competition, 6 Tracks (Reasoner Konclude: 4 × 1. and 2 × 2. prize, Reasoner HermiT: 1 × 2. and 4 × 3. prize)
2014 ISWC Best Reviewer Research Track, International Semantic Web Conference
2014 Kurt Gödel medal, 1. FLoC Olympic Games
2014 OWL Reasoner Evaluation Competition, 6 Tracks (Reasoner Konclude: 5 × 1. and 1 × 2. prize, Reasoner HermiT: 1 × 2. and 1 × 3. prize)
2013 OWL Reasoner Evaluation Competition, 9 Tracks (Reasoner Konclude: 3×1., 2×2. and 2 × 3. prize, Reasoner HermiT: 1 × 1., 2 × 2. and 1 × 3. prize)
2011 Best Programme Committee Member Finalist, International Semantic Web Conference
2010 Best Research Paper Nominee, Birte Glimm, Ian Horrocks, Boris Motik and Giorgos Stoilos, International Semantic Web Conference
2008 Steve Furber Medal for Outstanding Doctoral Thesis in Computer Science
09.04–09.07 Doctoral scholarship of the Foundation of German Business
09.04–09.07 Engineering and Physical Sciences Research Council studentship
2004 Best computer science degree in 2004 at the Hamburg University of Applied Sciences
04.02–07.04 Scholarship of the Foundation of German Business

  • Moritz Illich (2021-)
  • Haonan Qiu (submitted 2021, defense pending)
  • Andreas Steigmiller (finished 2016, summa cum laude, dissertation award Thomas Gessmann-Stiftung)
  • Ilianna Kollia (external at the National Technical University of Athens, finished 2014)



Glimm, Birte
Conjunctive Query Answering in the Description Logic SHIQ
Document Number: LTCS-06-01
Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany


Glimm, Birte
Handling Cyclic Conjunctive Queries
, Proceedings of the 2005 International Workshop on Description Logic (DL 2005)Volume147
Publisher: CEUR Workshop Proceedings


Glimm, Birte
Query Answering Systems in the Semantic Web
, Proceedings the of KI-2004 Workshop on Applications of Description Logics (ADL 2004)Volume115
Publisher: CEUR Workshop Proceedings