Juniorprof. Dr. Birte Glimm

Since July 2011 I work as a juniorprofessor at the University of Ulm within the Institute of Artificial Intelligence. Before that, I was a research assistant in the Department of Computer Science at the University of Oxford, where I worked in the Information Systems Group, mainly on developing algorithms for automated reasoning in expressive Description Logics and on the implementation of the HermiT reasoner.

I did my PhD in Manchester in the Information Management Group under the supervision of Prof. Dr. Ian Horrocks and Prof. Dr. Uli Sattler and I was honoured with the Best Thesis Award from the School of Computer Science at Manchester University in 2008. From September 2001 until July 2004 I studied Computer Science in the Hamburg University of Applied Sciences and I received my bachelor degree with an award for the best degree.

Before studying Computer Science, I worked for 3.5 years in Industry and did another degree in Communication Design.

Research Interests

My main research interests are knowledge representation and reasoning. In particular, I enjoy developing and implementing algorithms and optimisations for reasoning in expressive description logics. I implement the developed techniques in the HermiT reasoner.

Together with my doctoral student Andreas Steigmiller I develop optimisations for tableau algorithms and novel procedures that combine tableau and saturation-based algorithms. The latter improve the reasoning performance for ontologies that only use a few constructors from more expressive Description Logics. Together with my doctoral student Trung-Kien Tran I develop a novel abstraction and refinement procedure for reasoning with ontologies that contain a large amount of data. With my doctoral student Klaus Ulmschneider I work on applying Semantic Web technologies in the context of innovation management. 

I am an editor of the SPARQL 1.1 Entailment Regimes specification, developed within the SPARQL Working Group of the W3C. Entailment regimes extend SPARQL to work with semantics other than simple entailment, e.g., RDF and RDFS semantics and OWL Direct and RDF-Based Semantics. I am also an editor of the OWL 2 Web Ontology Language Conformance specification, which describes the conditions that OWL 2 tools must satisfy in order to be conformant with the language specification.

Activities

  • Member of the W3C SPARQL Working Group
  • Editor of SPARQL 1.1 Entailment Regimes
  • Editor of OWL 2 Web Ontology Language Conformance
  • Development of the HermiT OWL reasoner

Projects

Doctoral Students

Organisational Activities

Contact

email: Birte.Glimm(at)uni-ulm.de
phone: +49 (0)731/50-24125
fax:     +49 (0)731/50-24119

Postal Address

Birte Glimm
University of Ulm
Institute of Artificial Intelligence
D-89069 Ulm

Office

James-Franck-Ring
building O27, level 4
room 448

Publications


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

Keywords: Reasoning, Description Logics, Semantic Web

Tags: AutomatedReasoning

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

Keywords: Reasoning, Description Logics, Semantic Web

Tags: AutomatedReasoning

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

Keywords: Reasoning, Description Logics, Semantic Web

Tags: AutomatedReasoning

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

Keywords: Reasoning, Description Logics, Optimisations, Optimizations,Materialization, Materialisation, Paralellisation, Paralellization

Tags: AutomatedReasoning

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

Tags: AutomatedReasoning

68.
pdf
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Scalable Reasoning by Abstraction Beyond DL-Lite
In Magdalena Ortiz and Stefan Schlobach, editor, Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016) Volume 9898 of Lecture Notes in Computer Science , page 77--93.
Publisher: Springer-Verlag,
2016

Keywords: Reasoning, Description Logics, Optimisations, Optimizations, Materialization, Materialisation, Abstraction

Tags: AutomatedReasoning

Note: Best Student Paper Award

67.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; S. Goncalves, Rafael; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Resources
In Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil, editor, Proceedings of the 15th International Semantic Web Conference (ISWC 2016) Volume 9982 of Lecture Notes in Computer Science , page 159--167.
Publisher: Springer-Verlag,
2016

Keywords: Benchmarking, Reasoning, Description Logics, Optimisations, Optimizations

Tags: AutomatedReasoning

Note: Best Resource Track Paper Award

66.
pdf
Brenner, Markus; 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

Tags: SFB-TRR-62,AutomatedReasoning

Abstract: 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; Reichert, Manfred
On Maintaining Semantic Networks: Challenges, Algorithms, Use Cases
International Journal of Web Information Systems, 11(3):291-326
2015

Tags: AutomatedReasoning

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

Keywords: Reasoning, Description Logics, Optimisations, Optimizations

Tags: SFB-TRR-62,AutomatedReasoning

63.
pdf
Behnke, Gregor; Ponomaryov, Denis; Schiller, Marvin; Bercher, Pascal; Nothdurft, Florian; Glimm, Birte; 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) , page 1442-1449.
Publisher: AAAI Press,
2015

Tags: SFB-TRR-62,Planning,AutomatedReasoning

Abstract: 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; Schiller, Marvin
Integrating Ontologies and Planning for Cognitive Systems
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
2015

Tags: AutomatedReasoning, Planning, SFB-TRR-62

Abstract: 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; Stamou, Giorgos
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
2015

Keywords: Description Logics, Query Answering, Semantic Web, SPARQL

Tags: AutomatedReasoning

60.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Completion Graph Caching for Expressive Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
2015

Tags: AutomatedReasoning

59.
pdf
Behnke, Gregor; Schiller, Marvin; Ponomaryov, Denis; Nothdurft, Florian; Bercher, Pascal; Minker, Wolfgang; Glimm, Birte; 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) , page 43--48.
2015

Tags: SFB-TRR-62,Planning,AutomatedReasoning

Abstract: 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; 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) Volume 1457 of CEUR Workshop Proceedings , page 2--15.
Publisher: CEUR-WS.org,
2015

Keywords: Reasoning, Description Logics, Optimisations, Optimizations

Tags: AutomatedReasoning

57.
pdf
Glimm, Birte; Kazakov, Yevgeny; Kollia, Ilianna; Stamou, Giorgos
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015)
Publisher: AAAI Press,
2015

Keywords: Description Logics, Query Answering, Semantic Web, SPARQL

Tags: AutomatedReasoning

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

Keywords: Reasoning, Description Logics, Optimisations, Optimizations

Tags: AutomatedReasoning

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

Keywords: Reasoning, Description Logics, Optimisations, Optimizations

Tags: AutomatedReasoning

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

Keywords: Nominal Schema, Reasoning, Description Logics, Tableau, Optimisations, Optimizations

Tags: AutomatedReasoning

Abstract: 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; 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) Volume 1193 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2014

Keywords: Reasoning, Description Logics, Optimisations, Optimizations

Tags: AutomatedReasoning

52.
pdf
Steigmiller, Andreas; Glimm, Birte; 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) Volume 8562 of Lecture Notes in Computer Science , page 449-463.
Publisher: Springer-Verlag,
2014

Keywords: Reasoning, Description Logics, Optimisations, Optimizations

Tags: AutomatedReasoning

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

Keywords: Reasoning, Description Logics, Optimisations, Optimizations

Tags: AutomatedReasoning

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

Keywords: Reasoning, Description Logics, Optimisations, Optimizations

Tags: AutomatedReasoning

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

Keywords: Semantic Networks

Tags: AutomatedReasoning

Export as: BibTeX, XML