Institut für Künstliche Intelligenz

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.

  • seit 2023 Studiendekanin Informatik (für die Studiengänge BSc+Msc Informatik, BSc+Msc Medienformatik, BSc+Msc Software Engineering, MSc Künstliche Intelligenz)
  • seit 2023 Stellvertretender Vorsitz Prüfungsausschuss Informatik (für die Studiengänge BSc+Msc Informatik, BSc+Msc Medienformatik, BSc+Msc Software Engineering, MSc Künstliche Intelligenz)
  • 2019-2023 Vorsitz Prüfungsausschuss Informatik (für die Studiengänge BSc+Msc Informatik, BSc+Msc Medienformatik, BSc+Msc Software Engineering, MSc Künstliche Intelligenz)
  • seit 2014 Vorsitz Zulassungsausschuss Cognitive Systems
  • 2022-2023 Stellvertretende Ombudsperson Gute Wissenschaftliche Praxis
  • seit 2022 Stellvertretender Vorsitz Prüfungsausschuss Cognitive Systems
  • seit 2022 Mitglied Promotionsausschuss Dr. rer. nat. (Informatik)
  • 2019-2022 Vorsitz Prüfungsausschuss Cognitive Systems
  • 2018-2021 Mitglied der Studienkommission Cognitive Systems
  • SoSe 2021 Mitglied der Studienkommission Informatik
  • 2015-2018 Programmkoordination MSc Cognitive Systems

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

Vorlesungen

SoSe 2024: Logik

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

SoSe 2023: Programming Concepts for Cognitive Systems, Foundations 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 Systems, Foundations of Semantic Web Technologies

WiSe 2020/2021: Web Engineering

SoSe 2020: Programming Concepts for Cognitive Systems

WiSe 2019/2020: Web Engineering, Foundations of Semantic Web Technologies

SoSe 2019: Programming Concepts for Cognitive Systems

WiSe 2018/2019: Web Engineering, Foundations of Semantic Web Technologies

SoSe 2018: Einführung in die Informatik, Programming Concepts for Cognitive Systems

WiSe 2017/2018: Web Engineering, Programming 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 Informatik, Semantic 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

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

Publikationen

2012

28.
Glimm, Birte; Horrocks, Ian; Motik, Boris; Shearer, Rob; Stoilos, Giorgos
A Novel Approach to Ontology Classification
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 14 :84-101
Juli 2012
Herausgeber: Elsevier Science Publishers (North-Holland)
ISSN: 1570-8268
DOI:10.1016/j.websem.2011.12.007
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHMS12a.pdf
27.
Kollia, Ilianna; Glimm, Birte
Cost Based Query Ordering over OWL Ontologies
, Proceedings of the 25th International Description Logic Workshop (DL 2012)Band846ausCEUR Workshop Proceedings
Juni 2012
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12a.pdf
26.
Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Extended Caching and Backjumping for Expressive Description Logics
, Proceedings of the 25th International Description Logic Workshop (DL 2012)Band846ausCEUR Workshop Proceedings
Juni 2012
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12b.pdf
25.
Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Extended Caching, Backjumping and Merging for Expressive Description Logics
, Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012)Band7364ausLecture Notes in Computer Science, Seite 514-529
Juni 2012
DOI:10.1007/978-3-642-31365-3_40
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12a.pdf
24.
Glimm, Birte; Hogan, Aidan; Krötzsch, Markus; Polleres, Axel
OWL: Yet to arrive on the Web of Data?
Band 937
Proceedings of the 5th Linked Data on the Web Workshop (LDOW2012)
Herausgeber: CEUR Workshop Proceedings
April 2012
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHKP12a.pdf
23.
Nikitina, Nadeschda; Rudolph, Sebastian; Glimm, Birte
Interactive Ontology Revision
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 12-13 :118-130
April 2012
Herausgeber: Elsevier Science Publishers (North-Holland), Amsterdam
ISSN: 1570-8268
DOI:10.1016/j.websem.2011.12.002
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiRG12a.pdf
22.
Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Extended Caching, Backjumping and Merging for Expressive Description Logics
Dokument Nummer: TR-2012-01
University of Ulm
2012
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui/Ulmer_Informatik_Berichte/2012/UIB-2012-01.pdf

2011

21.
Glimm, Birte
Answering Queries over OWL Ontologies with SPARQL
, Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011)Band796
Herausgeber: CEUR Workshop Proceedings
2011
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11b.pdf
20.
Glimm, Birte
Query Answering over SROIQ Knowledge Bases with SPARQL
, Proceedings of the 2011 International Workshop on Description Logic (DL 2011)Band745
Herausgeber: CEUR Workshop Proceedings
2011
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11c.pdf
19.
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
137-201
DOI:10.1007/978-3-642-23032-5_3
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Glim11a.pdf
18.
Glimm, Birte
Reasoning-Supported Interactive Revision of Knowledge Bases
, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)Band745
Herausgeber: AAAI Press/The MIT Press
2011
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/NiRG11a.pdf
17.
Kazakov, Yevgeny; Lutz, Carsten; Glimm, Birte
Status QIO: An Update
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, Editor, Description LogicsBand745ausCEUR Workshop Proceedings
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, Editor
Herausgeber: CEUR-WS.org
2011
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/GliKazLut11QIO_DL.pdf
16.
Nikitina, Nadeschda; Glimm, Birte; Rudolph, Sebastian
Wheat and Chaff - Practically Feasible Interactive Ontology Revision
, Proceedings of the 10th International Semantic Web Conference (ISWC 2011)Band7031, Seite 487-503
Herausgeber: Springer-Verlag
2011
DOI:10.1007/978-3-642-25073-6_31
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/NiGR11a.pdf

2010

15.
Glimm, Birte
Integrated Metamodeling and Diagnosis in OWL 2
Dokument Nummer: 3006
Herausgeber: Springer-Verlag
Institut AIFB, KIT
Proceedings of the 9th International Semantic Web Conference (ISWC 2010)
2010
DOI:10.1007/978-3-642-17746-0_17
Datei:pdfhttp://www.aifb.kit.edu/images/a/a4/TR-GRV-MEtamodelling.pdf
14.
Glimm, Birte
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Journal of Artificial Intelligence Research, 39 :429-481
2010
DOI:10.1613/jair.3029
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/RuGl10a.pdf
13.
Glimm, Birte
Optimising Ontology Classification
, Proceedings of the 9th International Semantic Web Conference (ISWC 2010)Band6414ausLecture Notes in Computer Science, Seite 225-240
Herausgeber: Springer-Verlag
2010
DOI:10.1007/978-3-642-21034-1_26
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GHMS10a.pdf
12.
Glimm, Birte
Optimized Description Logic Reasoning via Core Blocking
, Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010)Band6173ausLecture Notes in Computer Science, Seite 457-471
Herausgeber: Springer-Verlag
2010
DOI:10.1007/978-3-642-14203-1_39
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlHM10a.pdf

2009

11.
Glimm, Birte
A Syntax for Rules in OWL 2
Herausgeber: CEUR Workshop Proceedings
The University of Oxford
Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009)
2009
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GHPP09b.pdf
10.
Glimm, Birte
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
, Proceedings of the 2009 International Workshop on Description Logic (DL 2009)Band477
Herausgeber: CEUR Workshop Proceedings
2009
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GlRu09a.pdf

2008

9.
Glimm, Birte; Kazakov, Yevgeny
Role Conjunctions in Expressive Description Logics
Herausgeber: Lecture Notes in Computer Science
The University of Oxford
Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008)
2008
DOI:10.1007/978-3-540-89439-1_28
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GlKa08b.pdf

2007

8.
Glimm, Birte
Conjunctive Query Answering for the Description Logic SHIQ
, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)Band31, Seite 150-197
2007
DOI:10.1613/jair.2372
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GHLS07a.pdf
7.
Glimm, Birte
Conjunctive Query Entailment for SHOQ
, Proceedings of the 2007 International Workshop on Description Logic (DL 2007)Band250
Herausgeber: CEUR Workshop Proceedings
2007
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GlHS07a.pdf
6.
Glimm, Birte
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science, 174 (6) :3-14
2007
DOI:10.1016/j.entcs.2006.11.022
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/HoGS07a.pdf
5.
Glimm, Birte
Querying Description Logic Knowledge Bases
PhD thesis
PhD thesis
The University of Manchester
2007
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/Glim07a.pdf

2006

4.
Glimm, Birte
Conjunctive Query Answering for Description Logics with Transitive Roles
, Proceedings of the 2006 International Workshop on Description Logic (DL 2006)Band189
2006
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GlHS06a.pdf