Juniorprof. Dr. Birte Glimm

Since July 2011 I work as a juniorprofessor at the University of Ulm within the Institute of Artificial Intelligence. 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.

Research Interests

My main research interests are knowledge representation and reasoning. In particular, I enjoy developing and implementing algorithms and optimisations for reasoning in expressive description logics. I implement the developed techniques in the HermiT reasoner.

Together with my doctoral student Opens internal link in current windowAndreas Steigmiller I develop optimisations for tableau algorithms and novel procedures that combine tableau and saturation-based algorithms. The latter improve the reasoning performance for ontologies that only use a few constructors from more expressive Description Logics. Together with my doctoral student Opens internal link in current windowTrung-Kien Tran I develop a novel abstraction and refinement procedure for reasoning with ontologies that contain a large amount of data. With my doctoral student Opens internal link in current windowKlaus Ulmschneider I work on applying Semantic Web technologies in the context of innovation management. 

I am an editor of the SPARQL 1.1 Entailment Regimes specification, developed within the SPARQL Working Group of the W3C. Entailment regimes extend SPARQL to work with semantics other than simple entailment, e.g., RDF and RDFS semantics and OWL Direct and RDF-Based Semantics. I am also an editor of the OWL 2 Web Ontology Language Conformance specification, which describes the conditions that OWL 2 tools must satisfy in order to be conformant with the language specification.


  • Member of the W3C SPARQL Working Group
  • Editor of SPARQL 1.1 Entailment Regimes
  • Editor of OWL 2 Web Ontology Language Conformance
  • Development of the HermiT OWL reasoner


Doctoral Students

Organisational Activities


  • 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


All :: 2004, ... , 2013, 2014, 2015, 2016
All :: G 
References per page: Show keywords Show abstracts
Birte Glimm Person and Heiner Stuckenschmidt
15 Years of Semantic Web: An Incomplete Survey
KI - Künstliche Intelligenz, 30(2):117--130
ISSN: 0933-1875
Birte Glimm Person
Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford
KI - Künstliche Intelligenz, 30(2):201--203
ISSN: 0933-1875
Birte Glimm Person and Heiner Stuckenschmidt
Special Issue on Semantic Web
KI - Künstliche Intelligenz, 30(2):113--115
ISSN: 1610-1987
Zhangquan Zhou, Guilin Qi and Birte Glimm Person
Exploring Parallel Tractability of Ontology Materialization
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016)
Publisher: IOS Press,
Birte Glimm Person, Yevgeny Kazakov Person and Trung-Kien Tran Person
Ontology Materialization by Abstraction Refinement in Horn SHOIF
Proceedings of the 29th International Workshop on Description Logics (DL 2016) Volume 1577 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
Birte Glimm Person, Yevgeny Kazakov Person and Trung-Kien Tran
Scalable Reasoning by Abstraction Beyond DL-Lite
Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016) of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
Export as: