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


33.
pdf
Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Extended Caching, Backjumping and Merging for Expressive Description Logics
Document number: TR-2012-01
University of Ulm,
2012
32.
pdf
Glimm, Birte
Reasoning Web 2011
Volume 6848 of Lecture Notes in Computer Science
Chapter Using SPARQL with RDFS and OWL Entailment, page 137-201.
Publisher: 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) Volume 745
Publisher: 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) Volume 745
Publisher: 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) Volume 6643 of Lecture Notes in Computer Science , page 382-396.
Publisher: 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) Volume 796
Publisher: 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) Volume 745
Publisher: 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)
Publisher: 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) Volume 7031 , page 487-503.
Publisher: 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) Volume 6414 of Lecture Notes in Computer Science , page 257-272.
Publisher: Springer-Verlag,
2010
21.
pdf
Glimm, Birte; Krötzsch, Markus
SPARQL Beyond Subgraph Matching
Proceedings of the 9th International Semantic Web Conference (ISWC 2010) Volume 6414 of Lecture Notes in Computer Science , page 241-256.
Publisher: 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) Volume 6173 of Lecture Notes in Computer Science , page 457-471.
Publisher: 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) Volume 573 , page 209--219.
Publisher: 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) , page 225-235.
Publisher: 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) Volume 6414 of Lecture Notes in Computer Science , page 225-240.
Publisher: Springer-Verlag,
2010
16.
pdf
Glimm, Birte; Rudolph, Sebastian; Völker, Johanna
Integrated Metamodeling and Diagnosis in OWL 2
Document number: 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) Volume 477
Publisher: 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) Volume 529
Publisher: 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) Volume 5330 , page 391-405.
Publisher: 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) , page 252-262.
Publisher: AAAI Press/The MIT Press,
2008
9.
pdf
Glimm, Birte; Kazakov, Yevgeny
Role Conjunctions in Expressive Description Logics
The University of Oxford,
2008
Export as: BibTeX, XML