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. Before that, 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.
My main research interests are knowledge representation and reasoning. In particular, I enjoy developing and implementing algorithms and optimisations for reasoning in expressive description logics. I implement the developed techniques in the HermiT reasoner.
Together with my postdoc Andreas Steigmiller I develop optimisations for tableau algorithms, novel procedures that combine tableau and saturation-based algorithms and query evaluation procedures. Together with my doctoral student Trung-Kien Tran I develop a novel abstraction and refinement procedure for reasoning with ontologies that contain a large amount of data. With my doctoral student Klaus Ulmschneider I work on applying Semantic Web technologies in the context of innovation management. With Haonan Qiu I work on using Semantic Web technologies in the context of autonomous vehicles.
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.
WS 2020/2021: Web Engineering
SS 2020: Programming Concepts for Cognitive Systems
WS 2019/2020: Web Engineering, Foundations of Semantic Web Technologies
SS 2019: Programming Concepts for Cognitive Systems
WS 2018/2019: Web Engineering, Foundations of Semantic Web Technologies
SS 2018: Einführung in die Informatik, Programming Concepts for Cognitive Systems
WS 2017/2018: Web Engineering, Programming Concepts for Cognitive Systems
SS 2017: Foundations of Semantic Web Technologies, Einführung in die Informatik
WS 2016/2017: Introduction to Computer Science for Psychologists, Web Engineering
SS 2016: Foundations of Semantic Web Technologies
WS 2015/2016: Introduction to Computer Science for Psychologists
SS 2015: Foundations of Semantic Web Technologies
WS 2013/2014: Einführung in die Informatik, Semantic Web Grundlagen
SS 2013: Algorithmen in der Wissensrepräsentation
WS 2012/2013: Semantic Web Grundlagen
SS 2012: Algorithmen in der Wissensrepräsentation
WS 2011/2012: Semantic Web Grundlagen
2020 | Best Paper Award, Haonan Qiu, Adel Ayara and Birte Glimm, International Conference on Knowledge Engineering and Ontology Development |
2019 | Best Reproducibility Award, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference |
2017 | Mileva Einstein-Marić-Preis |
2016 | Best Resources Paper "The OWL Reasoner Evaluation (ORE) 2015 Resources". B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm and A. Steigmiller |
2015 | OWL Reasoner Evaluation Competition with 6 Tracks (Reasoner Konclude: 4 × 1. and 2 × 2. prize, Reasoner HermiT: 1 × 2. and 4 × 3. prize) |
2014 | ISWC Best Reviewer Research Track of the International Semantic Web Conference |
2014 | Kurt Gödel medal at the 1. FLoC Olympic Games for the reasoner Konclude |
2014 | OWL Reasoner Evaluation Competition with 6 Tracks (Reasoner Konclude: 5 × 1. and 1 × 2. prize, Reasoner HermiT: 1 × 2. and 1 × 3. prize) |
2013 | OWL Reasoner Evaluation Competition with 9 Tracks (Reasoner Konclude: 3×1., 2×2. and 2 × 3. prize, Reasoner HermiT: 1 × 1., 2 × 2. and 1 × 3. prize) |
2011 | IJCAI 2011 Best Programme Committee Member Finalist |
2008 | Best Dissertation Prize of the School of Computer Science, The University of Manchester |
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 |
File: | fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20a.pdf |
File: | fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20b.pdf |
File: | fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/KSBB20a.pdf |
File: |
DOI: | 10.3233/AIC-180604 |
File: |
File: | fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/SQAG19a.pdf |
DOI: | 10.1007/978-3-030-31423-1_1 |
File: | fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/GliKaz19Classical.pdf |
File: |
ISBN: | 978-3-030-30793-6 |
File: | fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/StGl2019-ABQA-ISWC.pdf |
File: |
File: |
File: |
File: |
File: |
DOI: | 10.24963/ijcai.2018/844 |
File: |
File: |
DOI: | 10.1007/978-3-319-43665-4_7 |
File: |
File: |
DOI: | 10.1109/COMPANION.2017.8287077 |
File: |
DOI: | 10.1007/s10817-017-9406-8 |
File: |
DOI: | 10.1007/978-3-319-69548-8_12 |
File: |
DOI: | 10.1007/978-3-319-69548-8_15 |
ISBN: | 978-3-319-69547-1 |
File: |
DOI: | 10.1109/COMPANION.2017.8287072 |
File: |
File: |
File: |