Juniorprof. Dr. Birte Glimm

Seit Juli 2011 arbeite ich an der Universität Ulm als Juniorprofesorin im Institut für Künstliche Intelligenz. Davor 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. Ausserdem 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 July 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.

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. Kürzlich habe ich eine neue Strategie zur Erkennung von Zyklen entwickelt. Zyklenerkennung (blocking) stellt die Terminierung des Kalküls sicher. Das entwickelte core blocking erlaubt ein wesentlich früheres Blockieren bei weiterhin bestehender Korrektheit des Kaküls. Dadurch kann der Speicherbedarf deutlich verringert werden und auch die generelle Performanz des Kalküls wird verbessert. Des Weiteren habe ich kürzlich gezeigt, dass die Standardverfahren zum Berechnen der Subsumptionsbeziehungen zwischen Rollen (Rollen Klassifikation) unvollständig sind. Daraufhin habe ich ein vollständiges Verfahren entwickelt, welches es erlaubt, die optimierten Algorithmen aus der Klassen Klassifikation auch für Rollen zu verwenden. Die entwickelten Verfahren sind im HermiT reasoner implementiert.

Zur Zeit arbeite ich in der SPARQL Working Group des W3C an der Entwicklung des SPARQL 1.1 Standards. Dabei ergänze ich die Spezifikation um SPARQL Entailment Regimes, welche die Semantik von SPARQL Abfragen unter Berücksichtigung von automatischem Schlussfolgern definieren.

Offene Stellen

Zur Zeit suche ich zwei akademische/n Mitarbeiter/inne.

Lehrveranstaltungen

SS 2012: Algorithmen in der Wissensrepräsentation

WS 2011/2012: Semantic Web Grundlagen

Aktivitäten

• Mitglied der W3C SPARQL Working Group
• Editor der SPARQL 1.1 Entailment Regimes Spezifikation
• Editor des OWL 2 Web Ontology Language Conformance Standards
• Mitentwicklerin des HermiT OWL Reasoners

Organisatorische Aktivitäten

• Program Chair der German Conference on Artificial Intelligence (KI) 2012
• Satellite Events Chair der International Joint Conference on Automated Reasoning (IJCAR) 2012
• Poster & Demos Chair der International Semantic Web Conference (ISWC) 2010
• Mitglied des Steering Committee des International Description Logic Workshop (DL, 2010-2011)
• Senior Program Committee von AAAI 2012
• Program Committee Mitglied von ESWC 2012, KR 2012, JIST 2011, 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: 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
• Begutachter für das Journal of Artificial Intelligence Research, Journal of Web Semantics, Journal of Symbolic Computation, Journal on Data Semantics