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 2024 Studiendekanin Cognitive Systems
  • 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

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 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

2018

78.
Kraus, Matthias; Behnke, Gregor; Bercher, Pascal; Schiller, Marvin R. G.; Biundo, Susanne; Glimm, Birte; Minker, Wolfgang
A Multimodal Dialogue Framework for Cloud-Based Companion Systems
Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018)
2018
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Kraus2018CompanionCloudDemo.pdf
77.
Perleth, Tanja; Schiller, Marvin R. G.; Glimm, Birte
Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations
Proceedings of DL 2018, CEUR Workshop Proceedings Vol. 2211
2018
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/PerlethSchillerGlimmDL2018.pdf
76.
Brenner, Markus; Glimm, Birte
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018)
Herausgeber: AAAI Press
2018
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/BrGl18a.pdf
75.
Schiller, Marvin R. G.; Behnke, Gregor; Bercher, Pascal; Kraus, Matthias; Dorna, Michael; Richter, Felix; Biundo, Susanne; Glimm, Birte; Minker, Wolfgang
Evaluating Knowledge-Based Assistance for DIY
Proceedings of MCI Workshop "Digital Companion", Seite 925--930
2018
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/MCI-WS19-schillerEtAl2018.pdf
74.
Behnke, Gregor; Schiller, Marvin R. G.; Kraus, Matthias; Bercher, Pascal; Schmautz, Mario; Dorna, Michael; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
Instructing Novice Users on How to Use Tools in DIY Projects
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Seite 5805--5807
Herausgeber: IJCAI
2018
DOI:10.24963/ijcai.2018/844
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018DIY.pdf

2017

73.
Schiller, Marvin R. G.; Behnke, Gregor; Schmautz, Mario; Bercher, Pascal; Kraus, Matthias; Dorna, Michael; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
A Paradigm for Coupling Procedural and Conceptual Knowledge in Companion Systems
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Herausgeber: IEEE
2017
DOI:10.1109/COMPANION.2017.8287072
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/SBSBKDMGB-ICCT2017.pdf
72.
Brenner, Markus; Glimm, Birte
Incremental Materialization Update via Abstraction Refinement
, Proceedings of the 30th International Workshop on Description Logics (DL 2017)Band1879ausCEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2017
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlBr17a.pdf
71.
Ulmschneider, Klaus; Glimm, Birte
Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems
In Rozewski, Przemyslaw and Lange, Christoph, Editor, Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017)ausCommunications in Computer and Information Science (CCIS), Seite 211--226
In Rozewski, Przemyslaw and Lange, Christoph, Editor
Herausgeber: Springer, Berlin, Germany
2017
DOI:10.1007/978-3-319-69548-8_15
ISBN:978-3-319-69547-1
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/UlGl17a.pdf
70.
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Ontology Materialization by Abstraction Refinement in Horn SHOIF
Proceedings of the 31st AAAI Conference on Artificial Intelligence, Seite 1114--1120
31st AAAI Conference on Artificial Intelligence
San Francisco, California, USA
February 4-9, 2017
In Satinder P. Singh and Shaul Markovitch, Editor
Herausgeber: AAAI Press
2017
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17a.pdf
69.
Mathieu, Christian; Klusch, Matthias; Glimm, Birte
QSMat: Query-Based Materialization for Efficient RDF Stream Processing
, Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017)Band786ausCommunications in Computer and Information Science, Seite 159-174
Herausgeber: Springer-Verlag
2017
DOI:10.1007/978-3-319-69548-8_12
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/MaKG17a.pdf
68.
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Scalable Reasoning by Abstraction in DL-Lite
, Proceedings of the 30th International Workshop on Description Logics (DL 2017)Band1879ausCEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2017
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17b.pdf
67.
Behnke, Gregor; Nielsen, Florian; Schiller, Marvin R. G.; Bercher, Pascal; Kraus, Matthias; Minker, Wolfgang; Biundo, Susanne; Glimm, Birte
SLOTH - the Interactive Workout Planner
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Herausgeber: IEEE
2017
DOI:10.1109/COMPANION.2017.8287077
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Sloth.pdf
66.
Glimm, Birte; Schiller, Marvin R. G.; Schiller, Florian
Testing the Adequacy of Automated Explanations of EL Subsumptions
, Proceedings of the 30th International Workshop on Description Logics (DL 2017)Band1879ausCEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2017
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/ScSG17a.pdf
65.
Parsia, Bijan; Matentzoglu, Nicolas; Goncalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
Journal of Automated Reasoning (JAR), 59 (4) :455-482
2017
DOI:10.1007/s10817-017-9406-8
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/PMGG17a.pdf
64.
Behnke, Gregor; Nielsen, Florian; Schiller, Marvin R. G.; Ponomaryov, Denis; Bercher, Pascal; Glimm, Birte; Minker, Wolfgang; Biundo, Susanne
To Plan for the User Is to Plan With the User -- Integrating User Interaction Into the Planning Process
In Susanne Biundo and Andreas Wendemuth, Editor aus Cognitive Technologies
Kapitel 7, Seite 123--144
Herausgeber: Springer
2017
123--144
DOI:10.1007/978-3-319-43665-4_7
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017CompBookMIP.pdf

2016

63.
Glimm, Birte; Stuckenschmidt, Heiner
15 Years of Semantic Web: An Incomplete Survey
KI - Künstliche Intelligenz, 30 (2) :117--130
2016
ISSN: 0933-1875
DOI:10.1007/s13218-016-0424-1
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016a.pdf
62.
Zhou, Zhangquan; Qi, Guilin; Glimm, Birte
Exploring Parallel Tractability of Ontology Materialization
, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016)Band285ausFrontiers in Artificial Intelligence and Applications, Seite 73-81
Herausgeber: IOS Press
2016
DOI:10.3233/978-1-61499-672-9-73
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf
61.
Glimm, Birte
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
2016
ISSN: 0933-1875
DOI:10.1007/s13218-016-0428-x
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Glim2016a.pdf
60.
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Ontology Materialization by Abstraction Refinement in Horn SHOIF
, Proceedings of the 29th International Workshop on Description Logics (DL 2016)Band1577ausCEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2016
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16a.pdf
59.
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Scalable Reasoning by Abstraction Beyond DL-Lite
In Magdalena Ortiz and Stefan Schlobach, Editor, Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016)Band9898ausLecture Notes in Computer Science, Seite 77--93
In Magdalena Ortiz and Stefan Schlobach, Editor
Herausgeber: Springer-Verlag
2016
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16b.pdf
58.
Ulmschneider, Klaus; Glimm, Birte
Semantic Exploitation of Implicit Patent Information
In Jin, Yaochu and Kollias, Stefanos, Editor, Proceedings of the 7th IEEE Symposium Series on Computational Intelligence (SSCI'16), Seite 1-8
In Jin, Yaochu and Kollias, Stefanos, Editor
Herausgeber: IEEE Computer Society, Red Hook, United States
2016
DOI:10.1109/SSCI.2016.7849943
ISBN:9781509042395
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/UlGl16a.pdf
57.
Glimm, Birte; Stuckenschmidt, Heiner
Special Issue on Semantic Web
KI - Künstliche Intelligenz, 30 (2) :113--115
2016
ISSN: 1610-1987
DOI:10.1007/s13218-016-0430-3
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016b.pdf
56.
Parsia, Bijan; Matentzoglu, Nicolas; Goncalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Resources
In Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil, Editor, Proceedings of the 15th International Semantic Web Conference (ISWC 2016)Band9982ausLecture Notes in Computer Science, Seite 159--167
In Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil, Editor
Herausgeber: Springer-Verlag
2016
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/PMGG16a.pdf

2015

55.
Brenner, Markus; Glimm, Birte
Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning
Proceedings of the International Symposium on Companion Technology (ISCT 2015)
September 2015
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BrGl15a.pdf
54.
Behnke, Gregor; Schiller, Marvin R. G.; Ponomaryov, Denis; Nothdurft, Florian; Bercher, Pascal; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning
Proceedings of the First International Symposium on Companion Technology (ISCT 2015), Seite 43--48
First International Symposium on Companion Technology (ISCT 2015)
Ulm, Germany
23. - 25. September 2015
2015
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke15MIPDiscussion.pdf