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 mit Übernahme der Institutsleitung in 2022. In 2019 wurde unser Projekt "Do it yourself, but not alone: Companion-Technologie für die Heimwerkerunterstützung" mit dem Kooperationspreis Wissenschaft-Wirtschaft ausgezeichnet. In 2017 erhielt ich einen Google Faculty Research Award und wurde mit dem Mileva Einstein-Marić-Preis ausgezeichnet. 

Vor meiner Arbeit in Ulm, 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

Mein wissenschaftliches Interesse gilt hauptsächlich der Wissensrepräsentation und dem automatischen Schlussfolgern. Ich entwickle, implementiere und optimiere Algorithmen zum automatischen Schlussfolgern in ausdrucksstarken Beschreibungslogiken und analysiere deren Komplexität. Ich habe zum Beispiel diverse Optimierungen für Tableau Algorithmen, neuartige Verfahren zur Kombination von Tableau und Saturierungsverfahren und Verfahren zur Anfragebeantwortung entwickelt. Unser neuartiges Abstraktions- und Verfeinerungsverfahren erlaubt das Schlussfolgern über Wissensbasen mit sehr großen Datenmengen. Weiterhin arbeiten wir daran, autonomen Fahrzeugen dynamisch Wissen über Kartendaten zur Verfügung zu stellen. Besonderer Herausforderungen sind dabei die hohe Dynamik und die großen Datenmengen über die geschlussfogert werden muss. Unsere Forschung zur Generierung von Erklärungen in natürlicher Sprache, erlaubt dabei die automatischen Ableitung nachvollziehbar zu machen. 

Ich bin Editor der SPARQL 1.1 Entailment Regimes Spezifikation, die im Rahmen der SPARQL Working Group des W3C entwickelt wurde. Entailment Regimes erweitern die Abfragesprache SPARQL so dass auch Schlussfolgern unter RDF, RDFS und OWL Semantik unterstützt wird. Ich bin außerdem Editor der OWL 2 Web Ontology Language Conformance Spezifikation, die Bedingungen festlegt, die OWL 2 Tools erfüllen müssen, um den OWL 2 Standard zu erfüllen.

Projekte und Seminare im Bereich Semantic Web und Künstliche Intelligenz

Vorlesungen

WiSe 2024/2025: Knowledge-Based Artificial Intelligence, Künstliche Intelligenz und Neuroinformatik

SoSe 2024: Logik

WiSe 2023/2024: Knowledge-Based Artificial Intelligence, Künstliche Intelligenz und Neuroinformatik, AI Planning

SoSe 2023: Programming Concepts for Cognitive SystemsFoundations of Semantic Web Technologies

WiSe 2022/2023: Knowledge-Based Artificial Intelligence, Künstliche Intelligenz und Neuroinformatik

SoSe 2022: Programming Concepts for Cognitive Systems

WiSe 2021/2022: Forschungssemester

SoSe 2021: Programming Concepts for Cognitive SystemsFoundations of Semantic Web Technologies

WiSe 2020/2021: Web Engineering

SoSe 2020: Programming Concepts for Cognitive Systems

WiSe 2019/2020: Web EngineeringFoundations of Semantic Web Technologies

SoSe 2019: Programming Concepts for Cognitive Systems

WiSe 2018/2019: Web EngineeringFoundations of Semantic Web Technologies

SoSe 2018: Einführung in die InformatikProgramming Concepts for Cognitive Systems

WiSe 2017/2018: Web EngineeringProgramming Concepts for Cognitive Systems

SoSe 2017: Foundations of Semantic Web Technologies, Einführung in die Informatik

WiSe 2016/2017: Introduction to Computer Science for Psychologists, Web Engineering

SoSe 2016: Foundations of Semantic Web Technologies

WiSe 2015/2016: Introduction to Computer Science for Psychologists

SoSe 2015: Foundations of Semantic Web Technologies

WiSe 2013/2014: Einführung in die InformatikSemantic Web Grundlagen

SoSe 2013: Algorithmen in der Wissensrepräsentation

WiSe 2012/2013: Semantic Web Grundlagen

SoSe 2012: Algorithmen in der Wissensrepräsentation

WiSe 2011/2012: Semantic Web Grundlagen

2024Outstanding SPC Member Award European Conference on Artificial Intelligence 2024
2023Best Paper Nominee, Nathan Gruber and Birte Glimm, Extended Semantic Web Conference
2020Best Paper Award, Haonan Qiu, Adel Ayara und Birte Glimm, International Conference on Knowledge Engineering and Ontology Development
2020Best Paper Nominee, Haonan Qiu, Adel Ayara and Birte Glimm, International Conference on Intelligent Transportation Systems 2020
2020Best Research Track Senior Programme Committee Member, International Semantic Web Conference
2019Kooperationspreis Wissenschaft-Wirtschaft
2019Best Reproducibility Award, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference
2019Best Research Paper Award runner-up, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference
2017Google Faculty Research Award
2017Mileva Einstein-Marić-Preis 
2016Best Resources Paper, B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm und A. Steigmiller, International Semantic Web Conference
2015OWL Reasoner Evaluation Competition, 6 Tracks (Reasoner Konclude: 4 × 1. and 2 × 2. prize, Reasoner HermiT: 1 × 2. and 4 × 3. prize)
2014ISWC Best Reviewer Research Track, International Semantic Web Conference
2014Kurt Gödel medal, 1. FLoC Olympic Games
2014OWL Reasoner Evaluation Competition, 6 Tracks (Reasoner Konclude: 5 × 1. and 1 × 2. prize, Reasoner HermiT: 1 × 2. and 1 × 3. prize)
2013OWL Reasoner Evaluation Competition, 9 Tracks (Reasoner Konclude: 3×1., 2×2. and 2 × 3. prize, Reasoner HermiT: 1 × 1., 2 × 2. and 1 × 3. prize)
2011Best Programme Committee Member Finalist, International Semantic Web Conference
2010Best Research Paper Nominee, Birte Glimm, Ian Horrocks, Boris Motik and Giorgos Stoilos, International Semantic Web Conference
2008Steve Furber Medal for Outstanding Doctoral Thesis in Computer Science
09.04–09.07Promotionsstipendium der Stiftung der Deutschen Wirtschaft
09.04–09.07Stipendium des Engineering and Physical Sciences Research Council zur Finanzierung der Studiengebühren
2004Auszeichnung für den besten Abschluss in der Informatik 2004 der Hochschule für angewandte Wissenschaften Hamburg
04.02–07.04Stipendium der Stiftung der Deutschen Wirtschaft

Publikationen

2006

3.
Glimm, Birte
Conjunctive Query Answering in the Description Logic SHIQ
Dokument Nummer: LTCS-06-01
Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany
2006
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GHLS06a.pdf

2005

2.
Glimm, Birte
Handling Cyclic Conjunctive Queries
, Proceedings of the 2005 International Workshop on Description Logic (DL 2005)Band147
Herausgeber: CEUR Workshop Proceedings
2005
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2005/GlHo05a.pdf

2004

1.
Glimm, Birte
Query Answering Systems in the Semantic Web
, Proceedings the of KI-2004 Workshop on Applications of Description Logics (ADL 2004)Band115
Herausgeber: CEUR Workshop Proceedings
2004
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/GlHo04a.pdf