Juniorprof. Dr. Birte Glimm

Seit Juli 2011 arbeite ich an der Universität Ulm als Juniorprofessorin 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. 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.

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 Andreas 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 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. 

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


71.
pdf
Glimm, Birte und Stuckenschmidt, Heiner
15 Years of Semantic Web: An Incomplete Survey
KI - Künstliche Intelligenz, 30(2):117--130
2016
ISSN: 0933-1875

Schlüsselwörter: Reasoning, Description Logics, Semantic Web

Marker: AutomatedReasoning

70.
pdf
Glimm, Birte
Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford
KI - Künstliche Intelligenz, 30(2):201--203
2016
ISSN: 0933-1875

Schlüsselwörter: Reasoning, Description Logics, Semantic Web

Marker: AutomatedReasoning

69.
pdf
Glimm, Birte und Stuckenschmidt, Heiner
Special Issue on Semantic Web
KI - Künstliche Intelligenz, 30(2):113--115
2016
ISSN: 1610-1987

Schlüsselwörter: Reasoning, Description Logics, Semantic Web

Marker: AutomatedReasoning

68.
pdf
Zhou, Zhangquan; Qi, Guilin und Glimm, Birte
Exploring Parallel Tractability of Ontology Materialization
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016)
Herausgeber: IOS Press,
2016

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations,Materialization, Materialisation, Paralellisation, Paralellization

Marker: AutomatedReasoning

67.
pdf
Glimm, Birte; Kazakov, Yevgeny und Tran, Trung-Kien
Ontology Materialization by Abstraction Refinement in Horn SHOIF
Proceedings of the 29th International Workshop on Description Logics (DL 2016) Band 1577 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2016

Marker: AutomatedReasoning

66.
pdf
Brenner, Markus und Glimm, Birte
Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning
Proceedings of the International Symposium on Companion Technology (ISCT 2015)
September 2015

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

Marker: SFB-TRR-62,AutomatedReasoning

Zusammenfassung: Current approaches to stream reasoning neglect knowledge about the system as a whole. We present first steps towards self-describing streams by outlining a possible definition of the data produced by differ- ent streams. We give an outlook on future paths and how such descrip- tions can be used to improve reasoning about the streamed data.

65.
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

64.
pdf
Steigmiller, Andreas und Glimm, Birte
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Journal of Artificial Intelligence Research, 54:535--592
2015

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: SFB-TRR-62,AutomatedReasoning

63.
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) , Seite 1442-1449.
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.

62.
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.

61.
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

60.
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

59.
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 First International Symposium on Companion Technology (ISCT 2015) , Seite 43--48.
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.

58.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; S. Goncalves, Rafael; Glimm, Birte und 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) Band 1457 aus CEUR Workshop Proceedings , Seite 2--15.
Herausgeber: CEUR-WS.org,
2015

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

57.
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

56.
pdf
Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos und Wang, Zhe
HermiT: An OWL 2 Reasoner
Journal of Automated Reasoning (JAR), 53(3):245-269
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

55.
pdf
Steigmiller, Andreas; Liebig, Thorsten und Glimm, Birte
Konclude: System Description
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 27(1)
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

54.
pdf
Steigmiller, Andreas; Glimm, Birte und Liebig, Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning, 53(4):351-405
2014

Schlüsselwörter: Nominal Schema, Reasoning, Description Logics, Tableau, Optimisations, Optimizations

Marker: AutomatedReasoning

Zusammenfassung: Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in a novel reasoning system and we integrate further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed approach performs well even when compared to other DL reasoners with dedicated rule support.

53.
pdf
Steigmiller, Andreas; Glimm, Birte und 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) Band 1193 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

52.
pdf
Steigmiller, Andreas; Glimm, Birte und 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) Band 8562 aus Lecture Notes in Computer Science , Seite 449-463.
Herausgeber: Springer-Verlag,
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

51.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien und Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 13th International Semantic Web Conference (ISWC 2014) Band 8797 aus Lecture Notes in Computer Science , Seite 180-195.
Herausgeber: Springer-Verlag,
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

50.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien und Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 27th International Workshop on Description Logics (DL 2014) Band 1193 aus CEUR Workshop Proceedings , Seite 180-195.
Herausgeber: CEUR-WS.org,
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

49.
pdf
Michelberger, Bernd; Ulmschneider, Klaus; Glimm, Birte; Mutschler, Bela und Reichert, Manfred
Maintaining Semantic Networks: Challenges and Algorithms
Proceedings of the 16th International Conference on Information Integration and Web-Based Applications & Services (iiWAS 2014) aus ACM International Conference Proceedings
Herausgeber: ACM,
2014

Schlüsselwörter: Semantic Networks

Marker: AutomatedReasoning

48.
pdf
Kollia, Ilianna und Glimm, Birte
Optimizing SPARQL Query Answering over OWL Ontologies
Journal of Artificial Intelligence Research (JAIR), 48:253-303
September 2013

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: SFB-TRR-62,AutomatedReasoning

Zusammenfassung: The SPARQL query language is currently being extended by the World Wide Web Consortium (W3C) with so-called entailment regimes. An entailment regime defines how queries are evaluated under more expressive semantics than SPARQL's standard simple entailment, which is based on sub-graph matching. The queries are very expressive since variables can occur within complex class expressions and can also bind to class or property names.In this paper, we describe a sound and complete algorithm for the OWL Direct Semantics entailment regime. We further propose several novel optimizations such as strategies for determining a good query execution order, query rewriting techniques, and show how specialized OWL reasoning tasks and the class and property hierarchy can be used to reduce the query execution time. For determining a good execution order, we propose a cost-based model, where the costs are based on information about the instances of classes and properties that are extracted from a model abstraction built by an OWL reasoner. We present two ordering strategies: a static and a dynamic one. For the dynamic case, we improve the performance by exploiting an individual clustering approach that allows for computing the cost functions based on one individual sample from a cluster.We provide a prototypical implementation and evaluate the efficiency of the proposed optimizations. Our experimental study shows that the static ordering usually outperforms the dynamic one when accurate statistics are available. This changes, however, when the statistics are less accurate, e.g., due to non-deterministic reasoning decisions. For queries that go beyond conjunctive instance queries we observe an improvement of up to three orders of magnitude due to the proposed optimizations.

47.
pdf
Cheptsov, Alexey; Tenschert, Axel; Schmidt, Paul; Glimm, Birte; Matthesius, Mauricio und 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) aus Lecture Notes in Computer Science
Herausgeber: Springer,
2013

Schlüsselwörter: Big Data, Text Mining, Ontologies

Marker: AutomatedReasoning

Export als: BibTeX, XML