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.
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 postdoc Andreas Steigmiller I develop optimisations for tableau algorithms, novel procedures that combine tableau and saturation-based algorithms and query evaluation procedures. Together with my doctoral student Trung-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 Klaus Ulmschneider I work on applying Semantic Web technologies in the context of innovation management. With Haonan Qiu I work on using Semantic Web technologies in the context of autonomous vehicles.
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.
- Editor of the SPARQL 1.1 Entailment Regimes Specification
- Editor of the OWL 2 Web Ontology Language Conformance Standard
- Editor of the Special Issue "Semantic Web" of the German Journal on Artificial Intelligence
- Doctoral Consortium Co-Chair of the 14th Conference on Principles of Knowledge Representation and Reasoning (KR) 2014
- General Chair of the International Description Logic Workshop (DL) 2013
- Program Chair of the International Workshop on Description Logics 2017
- Program Chair of the German Conference on Artificial Intelligence (KI) 2012
- Satellite Events Chair of the International Joint Conference on Automated Reasoning (IJCAR) 2012
- Poster & Demos Chair of the International Semantic Web Conference (ISWC) 2012
- Member of the steering committee of the International Description Logic Workshop (DL, 2010-2011, 2013-2016)
- Senior Program Committee member of ISWC 2016, KR2016, ISWC 2015, AAAI 2012
- Program Committee member of IJCAR 2016, KI 2016, KR 2014, ECAI 2014, ISWC 2014, DL 2014, ISWC 2013, AAAI 2013, HT 2013, RR 2012, DL 2012, ISWC 2012, Reasoning Web 2012, WIMS 2012, ESWC 2012, KR 2012, ISWC 2011, JIST 2011, IJCAI 2011, DL 2011, ISWC 2010 Demos&Posters, AAAI 2010, DL 2009, IJCAI 2009, ISWC 2009, ESWC 2009 Poster and Demos, ECAI 2008, ISWC 2007 and DL 2007
- Reviewer for the conferences and workshops: Tableaux 2013, CADE 2011, WWW 2010, WoLLIC 2010, KR 2010, IJCAR 2010, WWW 2009, ESSLLI 2009, KR 2008, ISWC 2008, WWW 2008, DL 2008, IJCAI 2007, CADE 2007, ISWC 2007, ESWC 2007, DL 2007, RR 2007, DL 2006, CADE 2005, ISWC 2005, ESWC 2005, LPAR 2005, DL 2005, OWL ED 2005, M4M 2005, ODBASE 2005, and DL 2004
- Reviewer for the Journal of Artificial Intelligence Research, Journal of Web Semantics, Journal of Symbolic Computation, Journal on Data Semantics, ACM Transactions on the Web, Logical Methods in Computer Science, Information Systems
WS 2015/2016: Introduction to Computer Science for Psychologists
WS 2012/2013: Semantic Web Grundlagen
WS 2011/2012: Semantic Web Grundlagen
2017 Mileva Einstein-Marić-Preis 2016 Best Resources Paper "The OWL Reasoner Evaluation (ORE) 2015 Resources". B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm and A. Steigmiller 2015 OWL Reasoner Evaluation Competition with 6 Tracks (Reasoner Konclude: 4 × 1. and 2 × 2. prize, Reasoner HermiT: 1 × 2. and 4 × 3. prize) 2014 ISWC Best Reviewer Research Track of the International Semantic Web Conference 2014 Kurt Gödel medal at the 1. FLoC Olympic Games for the reasoner Konclude 2014 OWL Reasoner Evaluation Competition with 6 Tracks (Reasoner Konclude: 5 × 1. and 1 × 2. prize, Reasoner HermiT: 1 × 2. and 1 × 3. prize) 2013 OWL Reasoner Evaluation Competition with 9 Tracks (Reasoner Konclude: 3×1., 2×2. and 2 × 3. prize, Reasoner HermiT: 1 × 1., 2 × 2. and 1 × 3. prize) 2011 IJCAI 2011 Best Programme Committee Member Finalist 2008 Best Dissertation Prize of the School of Computer Science, The University of Manchester 09.04–09.07 Doctoral scholarship of the Foundation of German Business 09.04–09.07 Engineering and Physical Sciences Research Council studentship 2004 Best computer science degree in 2004 at the Hamburg University of Applied Sciences 04.02–07.04 Scholarship of the Foundation of German Business
- Transfer project T3 "Do it yourself, but not alone: Companion-Technologie für die Heimwerkerunterstützung" within the Collaborative Research Center SFB/TRR 62 "A Companion-Technology for Cognitive Technical Systems" (2016-2019)
- DFG Project: Processing of Large Amounts of Data in Ontologies via Abstraction and Refinement (2015-2019)
- Project A2 "Knowledge Modelling" within the Collaborative Research Center SFB/TRR 62 "A Companion-Technology for Cognitive Technical Systems" (2013-2017)
- DAAD Programme des Projektbezogenen Personenaustauschs (PPP) "Automatic Generation of Description Logic Knowledge Bases" with the National Technical University of Athens (2013-2014)
- KMU-innovativ project GraphScale in collaboration with derivo GmbH (2012-2014)
- Dynamic Query Planning for Querying Ontologies (2012)