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


33.
pdf
Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Extended Caching, Backjumping and Merging for Expressive Description Logics
Dokument Nummer: TR-2012-01
University of Ulm,
2012
32.
pdf
Glimm, Birte
Reasoning Web 2011
Band 6848 aus Lecture Notes in Computer Science
Kapitel Using SPARQL with RDFS and OWL Entailment, Seite 137-201.
Herausgeber: Springer-Verlag,
2011
31.
pdf
Glimm, Birte; Kazakov, Yevgeny; Lutz, Carsten
Status QIO: An Update
Proceedings of the 2011 International Workshop on Description Logic (DL 2011) Band 745
Herausgeber: CEUR Workshop Proceedings,
2011
30.
pdf
Nikitina, Nadeschda; Rudolph, Sebastian; Glimm, Birte
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 2011 International Workshop on Description Logic (DL 2011) Band 745
Herausgeber: CEUR Workshop Proceedings,
2011
29.
pdf
Kollia, Ilianna; Glimm, Birte; Horrocks, Ian
SPARQL Query Answering over OWL Ontologies
Proceedings of the 8th Extended Semantic Web Conference (ESWC 2011) Band 6643 aus Lecture Notes in Computer Science , Seite 382-396.
Herausgeber: Springer-Verlag,
2011
28.
pdf
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) Band 796
Herausgeber: CEUR Workshop Proceedings,
2011
27.
pdf
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) Band 745
Herausgeber: CEUR Workshop Proceedings,
2011
26.
pdf
Nikitina, Nadeschda; Rudolph, Sebastian; Glimm, Birte
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)
Herausgeber: AAAI Press/The MIT Press,
2011
25.
pdf
Nikitina, Nadeschda; Glimm, Birte; Rudolph, Sebastian
Wheat and Chaff - Practically Feasible Interactive Ontology Revision
Proceedings of the 10th International Semantic Web Conference (ISWC 2011) Band 7031 , Seite 487-503.
Herausgeber: Springer-Verlag,
2011
24.
pdf
Glimm, Birte; Kazakov, Yevgeny; Lutz, Carsten
Status QIO: An Update
The University of Oxford,
2011
23.
pdf
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
22.
pdf
Glimm, Birte; Rudolph, Sebastian; Völker, Johanna
Integrated Metamodeling and Diagnosis in OWL 2
Proceedings of the 9th International Semantic Web Conference (ISWC 2010) Band 6414 aus Lecture Notes in Computer Science , Seite 257-272.
Herausgeber: Springer-Verlag,
2010
21.
pdf
Glimm, Birte; Krötzsch, Markus
SPARQL Beyond Subgraph Matching
Proceedings of the 9th International Semantic Web Conference (ISWC 2010) Band 6414 aus Lecture Notes in Computer Science , Seite 241-256.
Herausgeber: Springer-Verlag,
2010
20.
pdf
Glimm, Birte; Horrocks, Ian; Motik, Boris
Optimized Description Logic Reasoning via Core Blocking
Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010) Band 6173 aus Lecture Notes in Computer Science , Seite 457-471.
Herausgeber: Springer-Verlag,
2010
19.
pdf
Glimm, Birte; Horrocks, Ian; Motik, Boris
Optimized DL Reasoning via Core Blocking
Proceedings of the 2010 International Workshop on Description Logic (DL 2010) Band 573 , Seite 209--219.
Herausgeber: CEUR Workshop Proceedings,
2010
18.
pdf
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
17.
pdf
Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos
Optimising Ontology Classification
Proceedings of the 9th International Semantic Web Conference (ISWC 2010) Band 6414 aus Lecture Notes in Computer Science , Seite 225-240.
Herausgeber: Springer-Verlag,
2010
16.
pdf
Glimm, Birte; Rudolph, Sebastian; Völker, Johanna
Integrated Metamodeling and Diagnosis in OWL 2
Dokument Nummer: 3006
Institut AIFB, KIT,
2010
15.
pdf
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) Band 477
Herausgeber: CEUR Workshop Proceedings,
2009
14.
pdf
Glimm, Birte; Horridge, Matthew; Parsia, Bijan; Patel-Schneider, Peter F.
A Syntax for Rules in OWL 2
Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009) Band 529
Herausgeber: CEUR Workshop Proceedings,
2009
13.
pdf
Glimm, Birte; Horridge, Matthew; Parsia, Bijan; Patel-Schneider, Peter F.
A Syntax for Rules in OWL 2
The University of Oxford,
2009
12.
pdf
Glimm, Birte; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
Conjunctive Query Answering for the Description Logic SHIQ
Journal of Artificial Intelligence Research (JAIR), 31:150-197
2008
11.
pdf
Glimm, Birte; Kazakov, Yevgeny
Role Conjunctions in Expressive Description Logics
Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008) Band 5330 , Seite 391-405.
Herausgeber: Lecture Notes in Computer Science,
2008
10.
pdf
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
9.
pdf
Glimm, Birte; Kazakov, Yevgeny
Role Conjunctions in Expressive Description Logics
The University of Oxford,
2008
Export als: BibTeX, XML