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. 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 aktuell ein Research Fellow am fortiss, Mitglied des Steering Committee des IBM fortiss Center for AI und Mitorganisatorin des Dagstuhl Perspective Seminars "Current and Future Challenges in Knowledge Representation and Reasoning" (aufgrund der Corona Pandemie verlegt auf Juli 2022). 

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 2019 Vorsitz Prüfungsausschuss Informatik (für die Studiengänge BSc+Msc Informatik, BSc+Msc Medienformatik, BSc+Msc Software Engineering, MSc Künstliche Intelligenz)
  • seit 2019 Vorsitz Prüfungsausschuss Cognitive Systems
  • seit 2014 Vorsitz Zulassungsausschuss 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

SS 2021: Programming Concepts for Cognitive Systems, Algorithms for Knowledge Representation

WS 2020/2021: Forschungssemester

SS 2021: Programming Concepts for Cognitive Systems, Foundations of Semantic Web Technologies

WS 2020/2021: Web Engineering

SS 2020: Programming Concepts for Cognitive Systems

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

SS 2019: Programming Concepts for Cognitive Systems

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

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

WS 2017/2018: Web Engineering, Programming Concepts for Cognitive Systems

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

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

SS 2016: Foundations of Semantic Web Technologies

WS 2015/2016: Introduction to Computer Science for Psychologists

SS 2015: Foundations of Semantic Web Technologies

WS 2013/2014: Einführung in die Informatik, Semantic Web Grundlagen

SS 2013: Algorithmen in der Wissensrepräsentation

WS 2012/2013: Semantic Web Grundlagen

SS 2012: Algorithmen in der Wissensrepräsentation

WS 2011/2012: Semantic Web Grundlagen

2020 Best Paper Award, Haonan Qiu, Adel Ayara und Birte Glimm, International Conference on Knowledge Engineering and Ontology Development
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

  • Moritz Illich (2021-)
  • Haonan Qiu (eingereicht 2021, Verteidigung folgt)
  • Andreas Steigmiller (promoviert 2016, summa cum laude, Preisträger Thomas Gessmann-Stiftung)
  • Ilianna Kollia (extern an der National Technical University of Athens, promoviert 2014)

Publikationen

2023

103.
Santos-Teixeira, Milene; Welt, Michael; Glimm, Birte
Challenges on Deriving Planning Problems from Ontologies
Proceedings of the PLanning And onTology wOrkshop (PLATO)
2023
102.
Welt, Michael; Glimm, Birte; Santos-Teixeira, Milene
Computing Minimal Unsolvable and Maximal Solvable Abstractions of Planning Problems via Hitting Set Trees
Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2023)
2023
101.
Gruber, Nathan; Glimm, Birte
Comparative Research in Stream Reasoning
Proceedings of the 20th European Semantic Web Conference (ESWC 2023)ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
2023

2022

100.
Illich, Moritz; Glimm, Birte
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2022)
Herausgeber: Morgan Kaufmann
2022
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2022/IlGl22a.pdf
99.
Illich, Moritz; Glimm, Birte
Computing Concept Referring Expressions with Standard OWL Reasoners
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor, Proceedings of the 35th International Workshop on Description Logics (DL 2022)Band3263ausCEUR Workshop Proceedings
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor
Herausgeber: CEUR-WS.org
2022
Datei:pdfhttps://ceur-ws.org/Vol-3263/paper-14.pdf
98.
Glimm, Birte; Kazakov, Yevgeny; Welt, Michael
Concept Abduction for Description Logics
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor, Proceedings of the 35th International Workshop on Description Logics (DL 2022)Band3263ausCEUR Workshop Proceedings
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor
Herausgeber: CEUR-WS.org
2022
Datei:pdfhttps://ceur-ws.org/Vol-3263/paper-11.pdf
97.
Delgrande, James P.; Glimm, Birte; Meyer, Thomas; Truszczynski, Miroslaw; Teixeira, Milene Santos; Wolter, Frank
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)
Dagstuhl Reports, 12 (7) :62—79
2022
DOI:10.4230/DagRep.12.7.62
Datei:https://doi.org/10.4230/DagRep.12.7.62
96.
Glimm, Birte; Kazakov, Yevgeny
SAT-Based Axiom Pinpointing Revisited
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor, Proceedings of the 35th International Workshop on Description Logics (DL 2022)Band3263ausCEUR Workshop Proceedings
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor
Herausgeber: CEUR-WS.org
2022
Datei:pdfhttps://ceur-ws.org/Vol-3263/paper-10.pdf

2021

95.
Qiu, Haonan; Ayara, Adel; Glimm, Birte
Ontology-Based Map Data Quality Assurance
Proceedings of the 18th European Semantic Web Conference (ESWC 2021)ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
2021
94.
Steigmiller, Andreas; Glimm, Birte
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics
Proceedings of the 18th European Semantic Web Conference (ESWC 2021)ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
2021
93.
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Query Answering and Scaling Extensions of Konclude
In Gunjan Singh and Raghava Mutharaju and Pavan Kapanipathi, Editor, Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021)Band3123ausCEUR Workshop Proceedings, Seite 37—43
In Gunjan Singh and Raghava Mutharaju and Pavan Kapanipathi, Editor
Herausgeber: CEUR-WS.org
2021
Datei:pdfhttps://ceur-ws.org/Vol-3123/paper5.pdf
92.
Wenzel, Maximilian; Liebig, Thorsten; Glimm, Birte
HDT Bitmap Triple Indices for Efficient RDF Data Exploration
Proceedings of the 18th European Semantic Web Conference (ESWC 2021)ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
2021
91.
Bercher, Pascal; Behnke, Gregor; Kraus, Matthias; Schiller, Marvin R. G.; Manstetten, Dietrich; Dambier, Michael; Dorna, Michael; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement – Bringing a Planning-Based Interactive DIY Assistant to Life
Künstliche Intelligenz – Special Issue on NLP and Semantics
2021
Weblink:https://rdcu.be/cmGwb
Datei:http://link.springer.com/article/10.1007/s13218-021-00721-x
90.
Bercher, Pascal; Behnke, Gregor; Kraus, Matthias; Schiller, Marvin R. G.; Manstetten, Dietrich; Dambier, Michael; Dorna, Michael; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement — Bringing a Planning-Based Interactive DIY Assistant to Life
Künstliche Intell., 35 (3) :367—375
2021
DOI:10.1007/s13218-021-00721-x
Datei:https://doi.org/10.1007/s13218-021-00721-x

2020

89.
Qiu, Haonan; Ayara, Adel; Glimm, Birte
A Knowledge Architecture Layer for Map Data in Autonomous Vehicles
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2020)
Herausgeber: IEEE
2020
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20a.pdf
88.
Qiu, Haonan; Ayara, Adel; Glimm, Birte
A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving
, Proceedings of the ISWC 2020 Posters & Demonstrations TrackBand2721ausCEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2020
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20c.pdf
87.
Behnke, Gregor; Bercher, Pascal; Kraus, Matthias; Schiller, Marvin R. G.; Mickeleit, Kristof; Häge, Timo; Dorna, Michael; Dambier, Michael; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
New Developments for Robert – Assisting Novice Users Even Better in DIY Projects
Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), Seite 343--347
Herausgeber: AAAI Press
2020
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Behnke2020DIYAssistant.pdf
86.
Qiu, Haonan; Ayara, Adel; Glimm, Birte
Ontology-based Processing of Dynamic Maps in Automated Driving
Proceedings of the 12th International Conference on Knowledge Engineering and Ontology Development (KEOD 2020)
Herausgeber: SciTePress
2020
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20b.pdf
85.
Kraus, Matthias; Schiller, Marvin R. G.; Behnke, Gregor; Bercher, Pascal; Dorna, Michael; Dambier, Michael; Glimm, Birte; Biundo, Susanne; Minker, Wolfgang
Was that successful? On Integrating Proactive Meta-Dialogue in a DIY-Assistant System using Multimodal Cues
Proceedings of 22nd ACM International Conference on Multimodal Interaction (ICMI 2020)
Herausgeber: ACM
2020
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/KSBB20a.pdf

2019

84.
Kraus, Matthias; Schiller, Marvin R. G.; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne; Glimm, Birte; Minker, Wolfgang
9th International Workshop on Spoken Dialogue Systems
In Rafael Banchs and Luis Fernando D'Haro and Haizhou Li, Editor aus Lecture Notes in Electrical Engineering
Kapitel A Multimodal Dialogue Framework for Cloud-Based Companion Systems
Herausgeber: Springer
2019
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf
83.
Steigmiller, Andreas; Glimm, Birte
Absorption-Based Query Answering for Expressive Description Logics
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Editor, Proceedings of the 18th International Semantic Web Conference (ISWC 2019) Band 11778 aus Lecture Notes in Computer Science, Seite 593--611
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Editor
Herausgeber: Springer International Publishing, Cham
2019
ISBN:978-3-030-30793-6
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/StGl2019-ABQA-ISWC.pdf
82.
Steigmiller, Andreas; Glimm, Birte
Absorption-Based Query Entailment Checking for Expressive Description Logics
Proceedings of the 32nd International Workshop on Description Logics (DL 2019) Band 2373 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2019
Datei:pdfhttp://ceur-ws.org/Vol-2373/paper-25.pdf
81.
Behnke, Gregor; Schiller, Marvin R. G.; Kraus, Matthias; Bercher, Pascal; Schmautz, Mario; Dorna, Michael; Dambier, Michael; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
AI Communications, 32 (1) :31-57
2019
Herausgeber: IOS Press
DOI:10.3233/AIC-180604
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf
80.
Suryawanshi, Yogita; Qiu, Haonan; Ayara, Adel; Glimm, Birte
An Ontological Model for Map Data in Automotive Systems
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE 2019), Seite 140--147
Herausgeber: IEEE
2019
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/SQAG19a.pdf
79.
Glimm, Birte; Kazakov, Yevgeny
Classical Algorithms for Reasoning and Explanation in Description Logics
In Markus Krötzsch and Daria Stepanova, Editor, Reasoning Web. Explainable Artificial Intelligence - 15th International Summer SchoolBand11810ausLecture Notes in Computer Science, Seite 1-64
In Markus Krötzsch and Daria Stepanova, Editor
Herausgeber: Springer
2019
DOI:10.1007/978-3-030-31423-1_1
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/GliKaz19Classical.pdf