51本色

Institut f眉r K眉nstliche Intelligenz

Prof. Dr. Birte Glimm

Nach meiner Promotion an der University of Manchester (UK) in 2008 und einer PostDoc Phase an der University of Oxford (UK), wechselte ich 2011 als Juniorprofessorin an das Institut f眉r K眉nstliche Intelligenz der Universit盲t Ulm. Seit 2017 bin ich W3 Professorin mit 脺bernahme der Institutsleitung in 2022. Seit 2026 geh枚re ich dem Pr盲sidium der Universit盲t Ulm als Vizepr盲sidentin f眉r Lehre und Internationalisierung an. 

Seit 2025 bin ich co-Sprecherin des Graduiertenkollegs . Aktuell bin ich au脽erdem Mitglied der Arbeitsgruppe 鈥淜I in der Forschung鈥� des deutschen Wissenschaftsrat und Mitglied im Senats- und Bewilligungsausschuss f眉r Graduiertenkollegs der Deutschen Forschungsgemeinschaft. 

Weitere Information

Mein wissenschaftliches Interesse gilt haupts盲chlich der Wissensrepr盲sentation, dem automatischen Schlussfolgern und der intelligenten Handlungsplanung, angewendet u.a. in der Medizin oder dem autonomen Fahren. 

Aktuelle 础办迟颈惫颈迟盲迟别苍

  • Vizepr盲sidentin f眉r Lehre und Internationales (seit 2026)
  • Mitglied des Senats- und Bewilligungsauschusses der DFG , (seit 2025)
  • Mitglied in der Arbeitsgruppe 鈥淜I in der Forschung鈥� des Wissenschaftsrats (seit 2026)
  • Mitglied Zulassungsausschuss MSc Cognitive Systems (seit 2014)
  • Mitglied Zulassungsausschuss MSc AI for Connected Industries (seit 2025)
  • Studiengangsleitung MSc AI for Connected Industries (seit 2025)
  • Area Chair (2027)

Vergangene 础办迟颈惫颈迟盲迟别苍 Akademische Selbstverwaltung

  • 2022-2026 Stellvertretender Vorsitz Pr眉fungsausschuss Cognitive Systems
  • 2023-2026 Stellvertretender Vorsitz Pr眉fungsausschuss Informatik
  • 2023-2026 Studiendekanin Informatik
  • 2024-2026 Studiendekanin Cognitive Systems
  • 2024-2026 Studiengangsleitung MSc Cognitive Systems
  • 2022-2026 Mitglied Promotionsausschuss Dr. rer. nat. (Informatik)
  • 2014-2024 Vorsitz Zulassungsausschuss Cognitive Systems
  • 2019-2023 Vorsitz Pr眉fungsausschuss Informatik
  • 2022-2023 Stellvertretende Ombudsperson Gute Wissenschaftliche Praxis
  • 2019-2022 Vorsitz Pr眉fungsausschuss Cognitive Systems
  • 2018-2021 Mitglied der Studienkommission Cognitive Systems
  • 2021 Mitglied der Studienkommission Informatik
  • 2015-2018 Studiengangskoordination MSc Cognitive Systems

Vergangene 础办迟颈惫颈迟盲迟别苍 Wissenschaftsverwaltung

  • 2024-2026 Mitglied in der Fokussgruppe KI des Wissenschaftsrats
  • 2025 Area Chair
  • 2020-2023 Steering Commitee Center for AI (C4AI) fortiss/IBM
  • 2024 Chair KR in the Wild Track,
  • 2022 Mitorganisatorin des Dagstuhl Perspectives Seminars 鈥淐urrent and Future Challenges in Knowledge Representation and Reasoning鈥�
  • 2021 Scientific Advisary Board
  • 2017-2021 Mitglied des (Principles of Knowledge Representation and Reasoning, Incorporated)
  • 2020 Scientific Advisary Board
  • 2017 Program Chair des 
  • 2013-2016 Mitglied des
  • 2016 Editor der Special Issue "Semantic Web" des Magazins 
  • 2014 Doctoral Consortium Co-Chair der 14th Conference on Principles of Knowledge Representation and Reasoning
  • 2013 General Chair des 
  • 2009-2013 Editor der SPARQL 1.1 Entailment Regimes Spezifikation
  • 2012 Program Chair der
  • 2012 Satellite Events Chair der
  • 2012 Poster & Demos Chair der
  • 2009-2012 Editor des OWL 2 Web Ontology Language Conformance Standards
  • 2010-2011 Mitglied des
  • Senior Program Committee Member von , , , , , 
  • Program Committee Member von , , , , , , , , , , , , , , , (Distinguished PC), , , , , , , ,  , , , , , , , , , , , , , , , , , , , , , , , , ,  und 
  • Gutachter f眉r die folgenden Konferenzen und Workshops: Tableaux 2013, CADE 2011, WWW 2010, WoLLIC 2010, KR 2010, IJCAR 2010, WWW 2009, ESSLLI 2009, KR 2008, ISWC 2008, WWW 2008, DL 2008, IJCAI 2007, CADE 2007, ISWC 2007, ESWC 2007, DL 2007, RR 2007, DL 2006, CADE 2005, ISWC 2005, ESWC 2005, LPAR 2005, DL 2005, OWL ED 2005, M4M 2005, ODBASE 2005, and DL 2004
  • Gutachter f眉r das , , ,  , , , , ,
  • Gutachter f眉r DFG, DAAD, BMBF, Dutch Technology Foundation (STW)

Projekte und Seminare im Bereich KI, Handlungsplanung, Ontologien und Semantic Web

Vorlesungen

WiSe 2026/2027: , ,
SoSe 2026: ,
WiSe 2025/2026: , , ,
SoSe 2025:
WiSe 2024/2025: ,
SoSe 2024:
WiSe 2023/2024: , ,
SoSe 2023: , 
WiSe 2022/2023: ,
SoSe 2022: 
WiSe 2021/2022: Forschungssemester
SoSe 2021: , 
WiSe 2020/2021: 
SoSe 2020: 
WiSe 2019/2020: , 
SoSe 2019: 
WiSe 2018/2019: , 
SoSe 2018: , 
WiSe 2017/2018: , 
SoSe 2017: ,
WiSe 2016/2017: ,
SoSe 2016: Foundations of Semantic Web Technologies
WiSe 2015/2016: 
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

2026Lehrbonus Informatik der Universit盲t Ulm
2025Best Paper Nominierung
2024 European Conference on Artificial Intelligence 2024
2023, Nathan Gruber and Birte Glimm, Extended Semantic Web Conference
2020, 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
2019, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference
2019, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference
2017
2017Mileva Einstein-Mari膰-Preis 
2016, 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)
2014, 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
2010, Birte Glimm, Ian Horrocks, Boris Motik and Giorgos Stoilos, International Semantic Web Conference
2008
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

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
Weblink:
Datei:pdf/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) Band 477
Herausgeber: CEUR Workshop Proceedings
2009
Weblink:
Datei:pdf/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:
Weblink:
Datei:pdf/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) Band 31, Seite 150-197
2007
DOI:
Weblink:
Datei:pdf/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) Band 250
Herausgeber: CEUR Workshop Proceedings
2007
Weblink:
Datei:pdf/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:
Weblink:
Datei:pdf/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:pdf/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) Band 189
2006
Weblink:
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GlHS06a.pdf
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:pdf/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) Band 147
Herausgeber: CEUR Workshop Proceedings
2005
Weblink:
Datei:pdf/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) Band 115
Herausgeber: CEUR Workshop Proceedings
2004
Weblink:
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/GlHo04a.pdf