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.

Picture Birte Glimm

Further Information

Contact

email: Birte.Glimm(at)uni-ulm.de
phone: +49 (0)731/50-24125
fax:     +49 (0)731/50-24119

Postal Address

Birte Glimm
University of Ulm
Institute of Artificial Intelligence
D-89069 Ulm

Office

James-Franck-Ring
building O27, level 4
room 448

Publications


7.
pdf
Glimm, Birte; Horrocks, Ian; Sattler, Uli
Conjunctive Query Entailment for SHOQ
Proceedings of the 2007 International Workshop on Description Logic (DL 2007) Volume 250
Publisher: CEUR Workshop Proceedings,
2007
6.
pdf
Glimm, Birte; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
Conjunctive Query Answering for the Description Logic SHIQ
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)
2007
5.
pdf
Glimm, Birte
Querying Description Logic Knowledge Bases
PhD thesis
The University of Manchester,
2007
4.
pdf
Glimm, Birte; Horrocks, Ian; Sattler, Ulrike
Conjunctive Query Answering for Description Logics with Transitive Roles
Proceedings of the 2006 International Workshop on Description Logic (DL 2006) Volume 189
2006
3.
pdf
Glimm, Birte; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
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
2.
pdf
Glimm, Birte; Horrocks, Ian
Handling Cyclic Conjunctive Queries
Proceedings of the 2005 International Workshop on Description Logic (DL 2005) Volume 147
Publisher: CEUR Workshop Proceedings,
2005
1.
pdf
Glimm, Birte; Horrocks, Ian
Query Answering Systems in the Semantic Web
Proceedings the of KI-2004 Workshop on Applications of Description Logics (ADL 2004) Volume 115
Publisher: CEUR Workshop Proceedings,
2004
Export as: BibTeX, XML