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

Zusammen mit meinem Doktoranden Opens internal link in current windowAndreas Steigmiller entwickle ich Optimierungen für Tableau Algorithmen und neuartige Verfahren zur Kombination von Tableau und Saturierungsverfahren. Letztere erreichen eine bessere Performanz für Ontologien, die nur wenig Gebrauch von ausdrucksstarken Sprachkonstrukten machen. Zusammen mit meinem Doktoranden Opens internal link in current windowTrung-Kien Tran entwickle ich ein neuartiges Abstraktions- und Verfeinerungsverfahren zum Schlussfolgern über Wissensbasen mit sehr großen Datenmengen. Mit meinem Doktoranden Opens internal link in current windowKlaus Ulmschneider arbeite ich an der Anwendung von Semantic Web Technologien im Innovationsmanagement. 

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

  • 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

Projekte

Doktoranden

Organisatorische Aktivitäten

Kontakt

  • E-Mail: Birte.Glimm(at)uni-ulm.de
  • Telefon: +49 (0)731/50-24125
  • Telefax: +49 (0)731/50-24119
  • Postanschrift

  • Birte Glimm
  • Universität Ulm
  • Institut für Künstliche Intelligenz
  • D-89069 Ulm
  • Büro

  • James-Franck-Ring
  • Gebäude O27, 4. Niveau
  • Raum 448

Publikationen

Jahr:  
Alle :: 2004, ... , 2012, 2013, 2014, 2015
Präferenzen: 
Referenzen pro Seite: Zeige Schlüsselwörter Zeige Zusammenfassung
Referenzen
default
Ulmschneider, Klaus, Michelberger, Bernd, Glimm, Birte, Mutschler, Bela und Reichert, Manfred
On Maintaining Semantic Networks: Challenges, Algorithms, Use Cases
International Journal of Web Information Systems, 11(3):291-326
2015

Marker: AutomatedReasoning

pdf
Behnke, Gregor, Schiller, Marvin, Ponomaryov, Denis, Nothdurft, Florian, Bercher, Pascal, Minker, Wolfgang, Glimm, Birte und Biundo, Susanne
A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning
Proceedings of the International Symposium on Companion Technology (ISCT 2015)
2015

Schlüsselwörter: SFB-TRR-62,Planning,AutomatedReasoning

Marker: SFB-TRR-62,Planning,AutomatedReasoning

Zusammenfassung: Companion systems aim to extend the abilities of ordinary technical systems, for instance by modeling the user's situation, by recognizing the user's intentions, and by being able to interact with the user and to adapt to her/him. Such a system depends on planning capabilities to determine which actions are necessary to achieve a particular goal. In many situations it may not be appropriate for a companion system to develop plans on its own, but instead it has to integrate the user while creating the plan, i.e., it needs to be mixed-initiative. Based on earlier work, we demonstrate how a central knowledge base for a mixed-initiative planning system can be designed. We outline various benefts our approach brings to bear within a companion system. Lastly, we present several requests a user might issue towards the mixed-initiative planning system and how they can be answered by harnessing the knowledge base.

pdf
Behnke, Gregor, Ponomaryov, Denis, Schiller, Marvin, Bercher, Pascal, Nothdurft, Florian, Glimm, Birte und 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)
Herausgeber: AAAI Press,
2015

Marker: SFB-TRR-62,Planning,AutomatedReasoning

Zusammenfassung: The integration of the various specialized components of cognitive systems poses a challenge, in particular for those architectures that combine planning, inference, and human-computer interaction (HCI). An approach is presented that exploits a single source of common knowledge contained in an ontology. Based upon the knowledge contained in it, specialized domain models for the cognitive systems’ components can be generated automatically. Our integration targets planning in the form of hierarchical planning, being well-suited for HCI as it mimics planning done by humans. We show how the hierarchical structures of such planning domains can be (partially) inferred from declarative background knowledge. The same ontology furnishes the structure of the interaction between the cognitive system and the user. First, explanations of plans presented to users are enhanced by ontology explanations. Second, a dialog domain is created from the ontology coherent with the planning domain. We demonstrate the application of our technique in a fitness training scenario.

pdf
Steigmiller, Andreas, Glimm, Birte und 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

Marker: AutomatedReasoning

pdf
Behnke, Gregor, Bercher, Pascal, Biundo, Susanne, Glimm, Birte, Ponomaryov, Denis und Schiller, Marvin
Integrating Ontologies and Planning for Cognitive Systems
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Herausgeber: CEUR Workshop Proceedings,
2015

Marker: AutomatedReasoning, Planning, SFB-TRR-62

Zusammenfassung: We present an approach for integrating ontological reasoning and planning within cognitive systems. Patterns and mechanisms that suitably link planning domains and interrelated knowledge in an ontology are devised. In particular, this enables the use of (standard) ontology reasoning for extending a (hierarchical) planning domain. Furthermore, explanations of plans generated by a cognitive system benefit from additional explanations relying on background knowledge in the ontology and inference. An application of this approach in the domain of fitness training is presented.

pdf
Glimm, Birte, Kazakov, Yevgeny, Kollia, Ilianna und 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

Schlüsselwörter: Description Logics, Query Answering, Semantic Web, SPARQL

Marker: AutomatedReasoning

pdf
Glimm, Birte, Kazakov, Yevgeny, Kollia, Ilianna und 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

Schlüsselwörter: Description Logics, Query Answering, Semantic Web, SPARQL

Marker: AutomatedReasoning

Export als:
BibTeX, XML