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.

Further Information

Publications

2010

13.
Glimm, Birte
Optimising Ontology Classification
, Proceedings of the 9th International Semantic Web Conference (ISWC 2010)Volume6414fromLecture Notes in Computer Science, Page 225-240
Publisher: Springer-Verlag
2010
DOI:10.1007/978-3-642-21034-1_26
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GHMS10a.pdf
12.
Glimm, Birte
Optimized Description Logic Reasoning via Core Blocking
, Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010)Volume6173fromLecture Notes in Computer Science, Page 457-471
Publisher: Springer-Verlag
2010
DOI:10.1007/978-3-642-14203-1_39
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlHM10a.pdf

2009

11.
Glimm, Birte
A Syntax for Rules in OWL 2
Publisher: CEUR Workshop Proceedings
The University of Oxford
Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009)
2009
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GHPP09b.pdf
10.
Glimm, Birte
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
, Proceedings of the 2009 International Workshop on Description Logic (DL 2009)Volume477
Publisher: CEUR Workshop Proceedings
2009
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GlRu09a.pdf

2008

9.
Glimm, Birte; Kazakov, Yevgeny
Role Conjunctions in Expressive Description Logics
Publisher: Lecture Notes in Computer Science
The University of Oxford
Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008)
2008
DOI:10.1007/978-3-540-89439-1_28
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GlKa08b.pdf

2007

8.
Glimm, Birte
Conjunctive Query Answering for the Description Logic SHIQ
, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)Volume31, Page 150-197
2007
DOI:10.1613/jair.2372
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GHLS07a.pdf
7.
Glimm, Birte
Conjunctive Query Entailment for SHOQ
, Proceedings of the 2007 International Workshop on Description Logic (DL 2007)Volume250
Publisher: CEUR Workshop Proceedings
2007
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GlHS07a.pdf
6.
Glimm, Birte
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science, 174 (6) :3-14
2007
DOI:10.1016/j.entcs.2006.11.022
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/HoGS07a.pdf
5.
Glimm, Birte
Querying Description Logic Knowledge Bases
PhD thesis
PhD thesis
The University of Manchester
2007
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/Glim07a.pdf

2006

4.
Glimm, Birte
Conjunctive Query Answering for Description Logics with Transitive Roles
, Proceedings of the 2006 International Workshop on Description Logic (DL 2006)Volume189
2006
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GlHS06a.pdf
3.
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
2006
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GHLS06a.pdf

2005

2.
Glimm, Birte
Handling Cyclic Conjunctive Queries
, Proceedings of the 2005 International Workshop on Description Logic (DL 2005)Volume147
Publisher: CEUR Workshop Proceedings
2005
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2005/GlHo05a.pdf

2004

1.
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
2004
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/GlHo04a.pdf