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.

Weitere Information

Publikationen

2008

19.
Glimm, Birte; Kazakov, Yevgeny
Role Conjunctions in Expressive Description Logics
Herausgeber: 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
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GlKa08b.pdf
18.
Glimm, Birte; Kazakov, Yevgeny
Role Conjunctions in Expressive Description Logics
, LPARBand5330ausLecture Notes in Computer Science, Seite 391-405
Herausgeber: Springer
2008
Datei:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GliKaz08RoleConjunctions.pdf
17.
Glimm, Birte; Kazakov, Yevgeny
Role Conjunctions in Expressive Description Logics
The University of Oxford
2008
Datei:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GliKaz08RoleConjunctions_TR.pdf

2007

16.
Horrocks, Ian; Glimm, Birte; Sattler, Ulrike
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science, 174 (6) :3-14
2007
DOI:10.1016/j.entcs.2006.11.022
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/HoGS07a.pdf
15.
Glimm, Birte
Querying Description Logic Knowledge Bases
PhD thesis
PhD thesis
The University of Manchester
2007
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/Glim07a.pdf
14.
Horrocks, Ian; Glimm, Birte; Sattler, Ulrike
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science, 174 (6) :3-14
2007
DOI:10.1016/j.entcs.2006.11.022
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/HoGS07a.pdf
13.
Glimm, Birte
Querying Description Logic Knowledge Bases
PhD thesis
PhD thesis
The University of Manchester
2007
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/Glim07a.pdf
12.
Glimm, Birte; Horrocks, Ian; Sattler, Uli
Conjunctive Query Entailment for SHOQ
, Proceedings of the 2007 International Workshop on Description Logic (DL 2007)Band250
Herausgeber: CEUR Workshop Proceedings
2007
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GlHS07a.pdf
11.
Glimm, Birte; Horrocks, Ian; Sattler, Uli
Conjunctive Query Entailment for SHOQ
, Proceedings of the 2007 International Workshop on Description Logic (DL 2007)Band250
Herausgeber: CEUR Workshop Proceedings
2007
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GlHS07a.pdf
10.
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)Band31, Seite 150-197
2007
DOI:10.1613/jair.2372
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GHLS07a.pdf
9.
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)Band31, Seite 150-197
2007
DOI:10.1613/jair.2372
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GHLS07a.pdf

2006

8.
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)Band189
2006
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GlHS06a.pdf
7.
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)Band189
2006
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GlHS06a.pdf
6.
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
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GHLS06a.pdf
5.
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
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GHLS06a.pdf

2005

4.
Glimm, Birte; Horrocks, Ian
Handling Cyclic Conjunctive Queries
, Proceedings of the 2005 International Workshop on Description Logic (DL 2005)Band147
Herausgeber: CEUR Workshop Proceedings
2005
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2005/GlHo05a.pdf
3.
Glimm, Birte; Horrocks, Ian
Handling Cyclic Conjunctive Queries
, Proceedings of the 2005 International Workshop on Description Logic (DL 2005)Band147
Herausgeber: CEUR Workshop Proceedings
2005
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2005/GlHo05a.pdf

2004

2.
Glimm, Birte; Horrocks, Ian
Query Answering Systems in the Semantic Web
, Proceedings the of KI-2004 Workshop on Applications of Description Logics (ADL 2004)Band115
Herausgeber: CEUR Workshop Proceedings
2004
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/GlHo04a.pdf
1.
Glimm, Birte; Horrocks, Ian
Query Answering Systems in the Semantic Web
, Proceedings the of KI-2004 Workshop on Applications of Description Logics (ADL 2004)Band115
Herausgeber: CEUR Workshop Proceedings
2004
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/GlHo04a.pdf