Prof. Dr. Birte Glimm

Seit Juli 2011 arbeite ich an der Universität Ulm im Institut für Künstliche Intelligenz. Bis Juni 2017 als Juniorprofessorin und seit Juli 2017 im Rahmen einer W3 Professur. Davor war ich wissenschaftliche Mitarbeiterin im Department of Computer Science an der University of Oxford. Dort habe ich in der Information Systems group gearbeitet, hauptsächlich an der Entwicklung von Algorithmen zum automatischen Schlussfolgern in ausdrucksstarken Beschreibungslogiken. Außerdem habe ich dort an der Entwicklung des HermiT Reasoners mitgearbeitet.

Meine Promotion habe ich in Manchester in der Information Management Group gemacht, betreut durch Prof. Dr. Ian Horrocks und Prof. Dr. Uli Sattler. Für meine Dissertation habe ich den Best Thesis Award der School of Computer Science der Manchester University erhalten. Von September 2001 bis Juli 2004 habe ich an der Hochschule für angewandte Wissenschaften in Hamburg Informatik studiert und wurde ausgezeichnet für den besten Bachelor in 2004.

Bevor ich Informatik studiert habe, habe ich für 3.5 Jahre in der Industrie gearbeitet und ich besitze außerdem einen Abschluss in Kommunikationsdesign.

Bild Birte Glimm

Weitere Bereiche

Kontakt

E-Mail: Birte.Glimm(at)uni-ulm.de
Telefon: +49 (0)731/50-24125
Telefax: +49 (0)731/50-24119

Postanschrift

Birte Glimm
Universität Ulm
Institut für Künstliche Intelligenz
D-89069 Ulm

Büro

James-Franck-Ring
Gebäude O27, 4. Niveau
Raum 448 

Publikationen


8.
pdf
Horrocks, Ian; Glimm, Birte; Sattler, Ulrike
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science, 174(6):3-14
2007
7.
pdf
Glimm, Birte; Horrocks, Ian; Sattler, Uli
Conjunctive Query Entailment for SHOQ
Proceedings of the 2007 International Workshop on Description Logic (DL 2007) Band 250
Herausgeber: 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) Band 189
2006
3.
pdf
Glimm, Birte; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
Conjunctive Query Answering in the Description Logic SHIQ
Dokument Nummer: 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) Band 147
Herausgeber: 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) Band 115
Herausgeber: CEUR Workshop Proceedings,
2004
Export als: BibTeX, XML