Prof. Dr. Birte Glimm

Weitere Information

• Wissenschaftliche Interessen

  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. Die entwickelten Verfahren implementiere ich im HermiT Reasoner.

  Zusammen mit meinem Postdoktoranden Andreas Steigmiller entwickle ich Optimierungen für Tableau Algorithmen, neuartige Verfahren zur Kombination von Tableau und Saturierungsverfahren und Verfahren zur Anfragebeantwortung. Zusammen mit meinem Doktoranden Trung-Kien Tran entwickle ich ein neuartiges Abstraktions- und Verfeinerungsverfahren zum Schlussfolgern über Wissensbasen mit sehr großen Datenmengen. Mit meinem Doktoranden Klaus Ulmschneider arbeite ich an der Anwendung von Semantic Web Technologien im Innovationsmanagement. Mit meiner Doktorandin Haonan Qiu arbeite ich am Einsatz von Semantic Web Technologien im Bereich der autonomen Fahrzeuge.

  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.

• Aktivitäten

  • Editor der SPARQL 1.1 Entailment Regimes Spezifikation
  • Editor des OWL 2 Web Ontology Language Conformance Standards
  • Editor der Special Issue "Semantic Web" des Magazins KI - Künstliche Intelligenz
  • Doctoral Consortium Co-Chair der 14th Conference on Principles of Knowledge Representation and Reasoning (KR) 2014
  • General Chair des International Description Logic Workshop (DL) 2013
  • Program Chair der German Conference on Artificial Intelligence (KI) 2012
  • Program Chair des International Workshop on Description Logics 2017
  • Satellite Events Chair der International Joint Conference on Automated Reasoning (IJCAR) 2012
  • Poster & Demos Chair der International Semantic Web Conference (ISWC) 2012
  • Mitglied des Steering Committee des International Description Logic Workshop (DL, 2010-2011, 2013-2016)
  • Senior Program Committee von ISWC 2016, KR 2016, ISWC 2015, AAAI 2012
  • Program Committee Mitglied von IJCAR 2016, KI 2016, KR 2014, ECAI 2014, ISWC 2014, DL 2014, KI 2014, ISWC 2013, AAAI 2013, HT 2013, RR 2012, DL 2012, ISWC 2012, Reasoning Web 2012, WIMS 2012, ESWC 2012, KR 2012, ISWC 2011, JIST 2011, IJCAI 2011, DL 2011, ISWC 2010 Demos&Posters, AAAI 2010, DL 2009, IJCAI 2009, ISWC 2009, ESWC 2009 Poster and Demos, ECAI 2008, ISWC 2007 and DL 2007
  • 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 Journal of Artificial Intelligence Research, Journal of Web Semantics, Journal of Symbolic Computation, Journal on Data Semantics, ACM Transactions on the Web, Logical Methods in Computer Science

• Lehre

  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

• Preise und Auszeichnungen

  2019	Best Reproducibility Award, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference
  2017	Mileva Einstein-Marić-Preis
  2016	Best Resources Paper "The OWL Reasoner Evaluation (ORE) 2015 Resources", International Semantic Web Conference, B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm and A. Steigmiller
  2015	OWL Reasoner Evaluation Competition mit 6 Tracks (Reasoner Konclude: 4 × 1. und 2 × 2. Platz, Reasoner HermiT: 1 × 2. und 4 × 3. Platz)
  2014	ISWC Best Reviewer Research Track der International Semantic Web Conference
  2014	Kurt Gödel Medaille auf den 1. FLoC Olympic Games für den Reasoner Konclude
  2014	OWL Reasoner Evaluation Competition mit 6 Tracks (Reasoner Konclude: 5 × 1. und 1 × 2. Platz, Reasoner HermiT: 1 × 2. und 1 × 3. Platz)
  2013	OWL Reasoner Evaluation Competition mit 9 Tracks (Reasoner Konclude: 3×1., 2×2. und 2 × 3. Platz, Reasoner HermiT: 1 × 1., 2 × 2. und 1 × 3. Platz)
  2011	IJCAI 2011 Best Programme Committee Member Finalist
  2008	Best Dissertation Prize der School of Computer Science, The University of Manchester
  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

• Projekte

  • Transferprojekt T3 "Do it yourself, but not alone: Companion-Technologie für die Heimwerkerunterstützung" innerhalb des SFB/TRR 62 "Eine Companion-Technologie für kognitive technische Systeme" (2016-2019)
  • DFG Projekt "Verarbeitung großer Datenmengen in Ontologien mittels Abstraktion und Verfeinerung" (2015-2019)
  • Teilprojekt A2 "Wissensmodellierung" innerhalb des SFB/TRR 62 "Eine Companion-Technologie für kognitive technische Systeme" (2013-2017)
  • DAAD Programm des Projektbezogenen Personenaustauschs (PPP) "Automatische Generierung von Wissensbasen" mit der National Technical University of Athens (2013-2014)
  • KMU-innovativ Projekt GraphScale im Verbund mit der derivo GmbH (2012-2014)
  • Dynamische Anfrageplanung für Anfragen an ontologische Wissensbasen (2012)

• Doktoranden

  • Haonan Qiu
  • Trung-Kien Tran
  • Klaus Ulmschneider
  • Andreas Steigmiller (promoviert 2016, summa cum laude, Preisträger Thomas Gessmann-Stiftung)
  • Ilianna Kollia (extern an der National Technical University of Athens, promoviert 2014)