Prof. Dr. Birte Glimm

Seit Juli 2011 arbeite ich an der Universität Ulm im Institut für Künstliche Intelligenz. Bis Juni 2017 als Juniorprofessorin und seit Juli 2017 im Rahmen einer W3 Professur. 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.

Weitere Information

Publikationen

2016

94.
Ulmschneider, Klaus; Glimm, Birte
Semantic Exploitation of Implicit Patent Information
In Jin, Yaochu and Kollias, Stefanos, Editor, Proceedings of the 7th IEEE Symposium Series on Computational Intelligence (SSCI'16), Seite 1-8
In Jin, Yaochu and Kollias, Stefanos, Editor
Herausgeber: IEEE Computer Society, Red Hook, United States
2016
DOI:10.1109/SSCI.2016.7849943
ISBN:9781509042395
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/UlGl16a.pdf
93.
Glimm, Birte; Stuckenschmidt, Heiner
Special Issue on Semantic Web
KI - Künstliche Intelligenz, 30 (2) :113--115
2016
ISSN: 1610-1987
DOI:10.1007/s13218-016-0430-3
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016b.pdf
92.
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)Band1577ausCEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2016
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16a.pdf
91.
Glimm, Birte; Stuckenschmidt, Heiner
15 Years of Semantic Web: An Incomplete Survey
KI - Künstliche Intelligenz, 30 (2) :117--130
2016
ISSN: 0933-1875
DOI:10.1007/s13218-016-0424-1
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016a.pdf
90.
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
DOI:10.1007/s13218-016-0428-x
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Glim2016a.pdf
89.
Zhou, Zhangquan; Qi, Guilin; Glimm, Birte
Exploring Parallel Tractability of Ontology Materialization
, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016)Band285ausFrontiers in Artificial Intelligence and Applications, Seite 73-81
Herausgeber: IOS Press
2016
DOI:10.3233/978-1-61499-672-9-73
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf

2015

88.
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
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BrGl15a.pdf
87.
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), Seite 43--48
First International Symposium on Companion Technology (ISCT 2015)
Ulm, Germany
23. - 25. September 2015
2015
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke15MIPDiscussion.pdf
86.
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), Seite 1442-1449
IJCAI 2015
Buenos Aires
July 25th to July 31st
Herausgeber: AAAI Press
2015
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BPSB15a.pdf
85.
Steigmiller, Andreas; Glimm, Birte; 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
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGL15a.pdf
84.
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)
Herausgeber: CEUR Workshop Proceedings
2015
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf
83.
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)
Herausgeber: AAAI Press
2015
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf
82.
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
DOI:10.1108/IJWIS-04-2015-0014
81.
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
DOI:10.1613/jair.4897
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGl15b.pdf
80.
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)Band1457ausCEUR Workshop Proceedings, Seite 2--15
In Thorsten Liebig and Achille Fokoue, Editor
Herausgeber: CEUR-WS.org
2015
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/PMGG15a.pdf
79.
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)
Herausgeber: CEUR Workshop Proceedings
2015
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BBBG15a.pdf

2014

78.
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)ausACM International Conference Proceedings
Herausgeber: ACM
2014
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/MUGM14a.pdf
77.
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning, 53 (4) :351-405
2014
Herausgeber: Springer-Verlag
DOI:10.1007/s10817-014-9310-4
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14c.pdf
76.
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)Band1193ausCEUR Workshop Proceedings
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, Editor
Herausgeber: CEUR-WS.org
2014
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14b.pdf
75.
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)Band8562ausLecture Notes in Computer Science, Seite 449-463
In Stéphane Demri, Deepak Kapur and Christoph Weidenbach, Editor
Herausgeber: Springer-Verlag
2014
DOI:10.1007/978-3-319-08587-6_35
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14a.pdf
74.
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
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StLG14a.pdf
73.
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
DOI:10.1007/s10817-014-9305-1
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GHMS14a.pdf
72.
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)Band8797ausLecture Notes in Computer Science, Seite 180-195
Herausgeber: Springer-Verlag
2014
DOI:10.1007/978-3-319-11915-1_12
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14b.pdf
71.
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)Band1193ausCEUR Workshop Proceedings, Seite 180-195
Herausgeber: CEUR-WS.org
2014
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14a.pdf

2013

70.
Kollia, Ilianna; Glimm, Birte
Optimizing SPARQL Query Answering over OWL Ontologies
Journal of Artificial Intelligence Research (JAIR), 48 :253-303
September 2013
DOI:10.1613/jair.3872
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KoGl13a.pdf