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

2011

44.
Kollia, Ilianna; Glimm, Birte; Horrocks, Ian
Query Answering over SROIQ Knowledge Bases with SPARQL
, Proceedings of the 2011 International Workshop on Description Logic (DL 2011)Band745
Herausgeber: CEUR Workshop Proceedings
2011
Datei:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11c.pdf
43.
Kollia, Ilianna; Glimm, Birte; Horrocks, Ian
Query Answering over SROIQ Knowledge Bases with SPARQL
, Proceedings of the 2011 International Workshop on Description Logic (DL 2011)Band745
Herausgeber: CEUR Workshop Proceedings
2011
Datei:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11c.pdf
42.
Kollia, Ilianna; Glimm, Birte; Horrocks, Ian
Answering Queries over OWL Ontologies with SPARQL
, Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011)Band796
Herausgeber: CEUR Workshop Proceedings
2011
Datei:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11b.pdf
41.
Kollia, Ilianna; Glimm, Birte; Horrocks, Ian
Answering Queries over OWL Ontologies with SPARQL
, Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011)Band796
Herausgeber: CEUR Workshop Proceedings
2011
Datei:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11b.pdf

2010

40.
Glimm, Birte; Horrocks, Ian; Motik, Boris
Optimized Description Logic Reasoning via Core Blocking
, Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010)Band6173ausLecture Notes in Computer Science, Seite 457-471
Herausgeber: Springer-Verlag
2010
DOI:10.1007/978-3-642-14203-1_39
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlHM10a.pdf
39.
Glimm, Birte; Rudolph, Sebastian
Status QIO: Conjunctive Query Entailment is Decidable
Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Seite 225-235
Herausgeber: AAAI Press/The MIT Press
2010
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlRu10a.pdf
38.
Glimm, Birte; Rudolph, Sebastian
Status QIO: Conjunctive Query Entailment is Decidable
Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Seite 225-235
Herausgeber: AAAI Press/The MIT Press
2010
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlRu10a.pdf
37.
Glimm, Birte; Krötzsch, Markus
SPARQL Beyond Subgraph Matching
, Proceedings of the 9th International Semantic Web Conference (ISWC 2010)Band6414ausLecture Notes in Computer Science, Seite 241-256
Herausgeber: Springer-Verlag
2010
DOI:10.1007/978-3-642-17746-0_16
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlKr10a.pdf
36.
Glimm, Birte; Horrocks, Ian; Motik, Boris
Optimized DL Reasoning via Core Blocking
, Proceedings of the 2010 International Workshop on Description Logic (DL 2010)Band573, Seite 209--219
Herausgeber: CEUR Workshop Proceedings
2010
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlHM10b.pdf
35.
Glimm, Birte; Horrocks, Ian; Motik, Boris
Optimized DL Reasoning via Core Blocking
, Proceedings of the 2010 International Workshop on Description Logic (DL 2010)Band573, Seite 209--219
Herausgeber: CEUR Workshop Proceedings
2010
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlHM10b.pdf
34.
Glimm, Birte; Krötzsch, Markus
SPARQL Beyond Subgraph Matching
, Proceedings of the 9th International Semantic Web Conference (ISWC 2010)Band6414ausLecture Notes in Computer Science, Seite 241-256
Herausgeber: Springer-Verlag
2010
DOI:10.1007/978-3-642-17746-0_16
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlKr10a.pdf
33.
Glimm, Birte; Horrocks, Ian; Motik, Boris
Optimized Description Logic Reasoning via Core Blocking
, Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010)Band6173ausLecture Notes in Computer Science, Seite 457-471
Herausgeber: Springer-Verlag
2010
DOI:10.1007/978-3-642-14203-1_39
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlHM10a.pdf
32.
Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos
Optimising Ontology Classification
, Proceedings of the 9th International Semantic Web Conference (ISWC 2010)Band6414ausLecture Notes in Computer Science, Seite 225-240
Herausgeber: Springer-Verlag
2010
DOI:10.1007/978-3-642-21034-1_26
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GHMS10a.pdf
31.
Rudolph, Sebastian; Glimm, Birte
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Journal of Artificial Intelligence Research, 39 :429-481
2010
DOI:10.1613/jair.3029
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/RuGl10a.pdf
30.
Rudolph, Sebastian; Glimm, Birte
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Journal of Artificial Intelligence Research, 39 :429-481
2010
DOI:10.1613/jair.3029
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/RuGl10a.pdf
29.
Glimm, Birte; Rudolph, Sebastian; Völker, Johanna
Integrated Metamodeling and Diagnosis in OWL 2
Dokument Nummer: 3006
Herausgeber: Springer-Verlag
Institut AIFB, KIT
Proceedings of the 9th International Semantic Web Conference (ISWC 2010)
2010
DOI:10.1007/978-3-642-17746-0_17
Datei:http://www.aifb.kit.edu/images/a/a4/TR-GRV-MEtamodelling.pdf
28.
Glimm, Birte; Rudolph, Sebastian; Völker, Johanna
Integrated Metamodeling and Diagnosis in OWL 2
Dokument Nummer: 3006
Herausgeber: Springer-Verlag
Institut AIFB, KIT
Proceedings of the 9th International Semantic Web Conference (ISWC 2010)
2010
DOI:10.1007/978-3-642-17746-0_17
Datei:http://www.aifb.kit.edu/images/a/a4/TR-GRV-MEtamodelling.pdf
27.
Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos
Optimising Ontology Classification
, Proceedings of the 9th International Semantic Web Conference (ISWC 2010)Band6414ausLecture Notes in Computer Science, Seite 225-240
Herausgeber: Springer-Verlag
2010
DOI:10.1007/978-3-642-21034-1_26
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GHMS10a.pdf

2009

26.
Glimm, Birte; Horridge, Matthew; Parsia, Bijan; Patel-Schneider, Peter F.
A Syntax for Rules in OWL 2
Herausgeber: CEUR Workshop Proceedings
The University of Oxford
Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009)
2009
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GHPP09b.pdf
25.
Glimm, Birte; Horridge, Matthew; Parsia, Bijan; Patel-Schneider, Peter F.
A Syntax for Rules in OWL 2
Herausgeber: CEUR Workshop Proceedings
The University of Oxford
Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009)
2009
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GHPP09b.pdf
24.
Glimm, Birte; Rudolph, Sebastian
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
, Proceedings of the 2009 International Workshop on Description Logic (DL 2009)Band477
Herausgeber: CEUR Workshop Proceedings
2009
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GlRu09a.pdf
23.
Glimm, Birte; Rudolph, Sebastian
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
, Proceedings of the 2009 International Workshop on Description Logic (DL 2009)Band477
Herausgeber: CEUR Workshop Proceedings
2009
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GlRu09a.pdf

2008

22.
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
21.
Glimm, Birte; Horrocks, Ian; Sattler, Ulrike
Unions of Conjunctive Queries in SHOQ
Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Seite 252-262
Herausgeber: AAAI Press/The MIT Press
2008
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GlHS08a.pdf
20.
Glimm, Birte; Horrocks, Ian; Sattler, Ulrike
Unions of Conjunctive Queries in SHOQ
Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Seite 252-262
Herausgeber: AAAI Press/The MIT Press
2008
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GlHS08a.pdf