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

2015

53.
Behnke, Gregor; Ponomaryov, Denis; Schiller, Marvin R. G.; Bercher, Pascal; Nothdurft, Florian; Glimm, Birte; Biundo, Susanne
Coherence Across Components in Cognitive Systems – One Ontology to Rule Them All
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015), Seite 1442-1449
IJCAI 2015
Buenos Aires
July 25th to July 31st
Herausgeber: AAAI Press
2015
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BPSB15a.pdf
52.
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Completion Graph Caching for Expressive Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Herausgeber: CEUR Workshop Proceedings
2015
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGL15a.pdf
51.
Behnke, Gregor; Bercher, Pascal; Biundo, Susanne; Glimm, Birte; Ponomaryov, Denis; Schiller, Marvin R. G.
Integrating Ontologies and Planning for Cognitive Systems
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Herausgeber: CEUR Workshop Proceedings
2015
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BBBG15a.pdf
50.
Glimm, Birte; Kazakov, Yevgeny; Kollia, Ilianna; Stamou, Giorgos
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015)
Herausgeber: AAAI Press
2015
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf
49.
Glimm, Birte; Kazakov, Yevgeny; Kollia, Ilianna; Stamou, Giorgos
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Herausgeber: CEUR Workshop Proceedings
2015
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf
48.
Ulmschneider, Klaus; Michelberger, Bernd; Glimm, Birte; Mutschler, Bela; Reichert, Manfred
On Maintaining Semantic Networks: Challenges, Algorithms, Use Cases
International Journal of Web Information Systems, 11 (3) :291-326
2015
DOI:10.1108/IJWIS-04-2015-0014
47.
Steigmiller, Andreas; Glimm, Birte
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Journal of Artificial Intelligence Research, 54 :535--592
2015
DOI:10.1613/jair.4897
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGl15b.pdf
46.
Parsia, Bijan; Matentzoglu, Nicolas; Goncalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
In Thorsten Liebig and Achille Fokoue, Editor, Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 14th International Semantic Web Conference (ISWC 2015)Band1457ausCEUR Workshop Proceedings, Seite 2-15
In Thorsten Liebig and Achille Fokoue, Editor
Herausgeber: CEUR-WS.org
2015
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/PMGG15a.pdf

2014

45.
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien; Vialard, Vincent
Abstraction Refinement for Ontology Materialization
, Proceedings of the 27th International Workshop on Description Logics (DL 2014)Band1193ausCEUR Workshop Proceedings, Seite 180-195
Herausgeber: CEUR-WS.org
2014
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14a.pdf
44.
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien; Vialard, Vincent
Abstraction Refinement for Ontology Materialization
, Proceedings of the 13th International Semantic Web Conference (ISWC 2014)Band8797ausLecture Notes in Computer Science, Seite 180-195
Herausgeber: Springer-Verlag
2014
DOI:10.1007/978-3-319-11915-1_12
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14b.pdf
43.
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures
In Stéphane Demri, Deepak Kapur and Christoph Weidenbach, Editor, Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014)Band8562ausLecture Notes in Computer Science, Seite 449-463
In Stéphane Demri, Deepak Kapur and Christoph Weidenbach, Editor
Herausgeber: Springer-Verlag
2014
DOI:10.1007/978-3-319-08587-6_35
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14a.pdf
42.
Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe
HermiT: An OWL 2 Reasoner
Journal of Automated Reasoning (JAR), 53 (3) :245-269
2014
DOI:10.1007/s10817-014-9305-1
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GHMS14a.pdf
41.
Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Konclude: System Description
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 27 (1)
2014
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StLG14a.pdf
40.
Michelberger, Bernd; Ulmschneider, Klaus; Glimm, Birte; Mutschler, Bela; Reichert, Manfred
Maintaining Semantic Networks: Challenges and Algorithms
Proceedings of the 16th International Conference on Information Integration and Web-Based Applications & Services (iiWAS 2014)ausACM International Conference Proceedings
Herausgeber: ACM
2014
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/MUGM14a.pdf
39.
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Optimised Absorption for Expressive Description Logics
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, Editor, Proceedings of the 27th International Workshop on Description Logics (DL 2014)Band1193ausCEUR Workshop Proceedings
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, Editor
Herausgeber: CEUR-WS.org
2014
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14b.pdf
38.
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning, 53 (4) :351-405
2014
Herausgeber: Springer-Verlag
DOI:10.1007/s10817-014-9310-4
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14c.pdf

2013

37.
Kollia, Ilianna; Glimm, Birte
Optimizing SPARQL Query Answering over OWL Ontologies
Journal of Artificial Intelligence Research (JAIR), 48 :253-303
September 2013
DOI:10.1613/jair.3872
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KoGl13a.pdf
36.
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Extending Absorption to Nominal Schemas
Proceedings of the 26th International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings
2013
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13b.pdf
35.
Cheptsov, Alexey; Tenschert, Axel; Schmidt, Paul; Glimm, Birte; Matthesius, Mauricio; Liebig, Thorsten
Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing
In Axel Tenschert and Alexey Cheptsov, Editor, Proceedings of the International Workshop on Big Web Data (BigWebData 2013)ausLecture Notes in Computer Science
In Axel Tenschert and Alexey Cheptsov, Editor
Herausgeber: Springer
2013
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CTSG13a.pdf
34.
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Nominal Schema Absorption
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Herausgeber: AAAI Press/The MIT Press
2013
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13a.pdf
33.
Chaussecourte, Pierre; Glimm, Birte; Horrocks, Ian; Motik, Boris; Pierre, Laurent
The Energy Management Adviser at EDF
, Proceedings of the 12th International Semantic Web Conference (ISWC 2013)Band8219ausLecture Notes in Computer Science, Seite 49-64
Herausgeber: Springer-Verlag
2013
DOI:10.1007/978-3-642-41338-4_4
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CGHM13a.pdf
32.
Schiller, Marvin R. G.; Glimm, Birte
Towards Explicative Inference for OWL
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings
2013
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/ScGl13a.pdf
31.
Glimm, Birte; Kazakov, Yevgeny; Kollia, Ilianna; Stamou, Giorgos
Using the TBox to Optimise SPARQL Queries
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings
2013
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/GKKS13a.pdf

2012

30.
Kollia, Ilianna; Glimm, Birte
Cost Based Query Ordering over OWL Ontologies
, Proceedings of the 11th International Semantic Web Conference (ISWC 2012)Band7649ausLecture Notes in Computer Science, Seite 231-246
Herausgeber: Springer-Verlag
November 2012
DOI:10.1007/978-3-642-35176-1_15
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12b.pdf
29.
Nikitina, Nadeschda; Glimm, Birte
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
, Proceedings of the 11th International Semantic Web Conference (ISWC 2012)Band7649ausLecture Notes in Computer Science, Seite 394-409
Herausgeber: Springer-Verlag
November 2012
DOI:10.1007/978-3-642-35176-1_25
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiGl12a.pdf