Prof. Dr. Birte Glimm
Prof. Dr. Birte Glimm
Institutsleitung
Universität Ulm
Institut für Künstliche Intelligenz
James-Franck-Ring
Institut für Künstliche Intelligenz
James-Franck-Ring
89081 Ulm
Prof. Dr. Birte Glimm
Nach meiner Promotion an der University of Manchester (UK) in 2008 und einer PostDoc Phase an der University of Oxford (UK), wechselte ich 2011 als Juniorprofessorin an das Institut für Künstliche Intelligenz der Universität Ulm. Seit 2017 bin ich W3 Professorin mit Übernahme der Institutsleitung in 2022. Seit 2026 gehöre ich dem Präsidium der Universität Ulm als Vizepräsidentin für Lehre und Internationalisierung an.
Seit 2025 bin ich co-Sprecherin des Graduiertenkollegs KEMAI “Knowledge Infusion and Extraction for Explainable Medical AI”. Aktuell bin ich außerdem Mitglied der Arbeitsgruppe “KI in der Forschung” des deutschen Wissenschaftsrat und Mitglied im Senats- und Bewilligungsausschuss für Graduiertenkollegs der Deutschen Forschungsgemeinschaft.
Weitere Information
Mein wissenschaftliches Interesse gilt hauptsächlich der Wissensrepräsentation, dem automatischen Schlussfolgern und der intelligenten Handlungsplanung, angewendet u.a. in der Medizin oder dem autonomen Fahren.
Aktuelle Aktivitäten
- Vizepräsidentin für Lehre und Internationales (seit 2026)
- Mitglied des Senats- und Bewilligungsauschusses der DFG , (seit 2025)
- Mitglied in der Arbeitsgruppe “KI in der Forschung” des Wissenschaftsrats (seit 2026)
- Mitglied Zulassungsausschuss MSc Cognitive Systems (seit 2014)
- Mitglied Zulassungsausschuss MSc AI for Connected Industries (seit 2025)
- Studiengangsleitung MSc AI for Connected Industries (seit 2025)
- Area Chair European Conference on Artificial Intelligence (2027)
Vergangene Aktivitäten Akademische Selbstverwaltung
- 2022-2026 Stellvertretender Vorsitz Prüfungsausschuss Cognitive Systems
- 2023-2026 Stellvertretender Vorsitz Prüfungsausschuss Informatik
- 2023-2026 Studiendekanin Informatik
- 2024-2026 Studiendekanin Cognitive Systems
- 2024-2026 Studiengangsleitung MSc Cognitive Systems
- 2022-2026 Mitglied Promotionsausschuss Dr. rer. nat. (Informatik)
- 2014-2024 Vorsitz Zulassungsausschuss Cognitive Systems
- 2019-2023 Vorsitz Prüfungsausschuss Informatik
- 2022-2023 Stellvertretende Ombudsperson Gute Wissenschaftliche Praxis
- 2019-2022 Vorsitz Prüfungsausschuss Cognitive Systems
- 2018-2021 Mitglied der Studienkommission Cognitive Systems
- 2021 Mitglied der Studienkommission Informatik
- 2015-2018 Studiengangskoordination MSc Cognitive Systems
Vergangene Aktivitäten Wissenschaftsverwaltung
- 2024-2026 Mitglied in der Fokussgruppe KI des Wissenschaftsrats
- 2025 Area Chair European Conference on Artificial Intelligence
- 2020-2023 Steering Commitee Center for AI (C4AI) fortiss/IBM
- 2024 Chair KR in the Wild Track, Conference on Principles of Knowledge Representation and Reasoning
- 2022 Mitorganisatorin des Dagstuhl Perspectives Seminars “Current and Future Challenges in Knowledge Representation and Reasoning”
- 2021 Scientific Advisary Board Reasoning Web Summer School
- 2017-2021 Mitglied des Steering Committee KR Inc (Principles of Knowledge Representation and Reasoning, Incorporated)
- 2020 Scientific Advisary Board Reasoning Web Summer School
- 2017 Program Chair des International Workshop on Description Logics
- 2013-2016 Mitglied des Steering Committee des International Description Logic Worksho
- 2016 Editor der Special Issue "Semantic Web" des Magazins KI - Künstliche Intelligenz
- 2014 Doctoral Consortium Co-Chair der 14th Conference on Principles of Knowledge Representation and Reasoning
- 2013 General Chair des International Description Logic Workshop
- 2009-2013 Editor der SPARQL 1.1 Entailment Regimes Spezifikation
- 2012 Program Chair der German Conference on Artificial Intelligence
- 2012 Satellite Events Chair der International Joint Conference on Automated Reasoning
- 2012 Poster & Demos Chair der International Semantic Web Conference
- 2009-2012 Editor des OWL 2 Web Ontology Language Conformance Standards
- 2010-2011 Mitglied des Steering Committee des International Description Logic Workshop
- Senior Program Committee Member von ECAI 2024, ISWC 2020, ISWC 2016, KR2016, ISWC 2015, AAAI 2012
- Program Committee Member von AAAI 2027, KR (In the Wild Track) 2026, KI 2026, HPlan 2026, DL 2026, ESWC 2025, DL 2025, HPlan 2025, ECAI 2023, DL 2021, Reasoning Web 2021, KR 2021, DL 2020, KR 2020, XLoKR2020, IJCAI 2019 (Distinguished PC), DL 2019, ISWC 2019, RW 2019, DL 2018, IJCAI-ECAI 2018, IJCAR 2016, KI 2016, KR 2014, ECAI 2014, ISWC 2014, DL 2014, ISWC 2013, AAAI 2013, HT 2013, RR 2012, DL 2012, ISWC 2012, Reasoning Web 2012, WIMS 2012, ESWC 2012, KR 2012, 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 und DL 2007
- Gutachter für die folgenden Konferenzen und Workshops: Tableaux 2013, 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
- Gutachter für das Journal of Artificial Intelligence Research, Journal of Web Semantics, Journal of Symbolic Computation, Journal of Logic and Computation, Journal on Data Semantics, ACM Transactions on the Web, Logical Methods in Computer Science, Information Systems, PLOS ONE, BW PostDoc Elite Programm
- Gutachter für DFG, DAAD, BMBF, Dutch Technology Foundation (STW)
Projekte und Seminare im Bereich KI, Handlungsplanung, Ontologien und Semantic Web
Vorlesungen
WiSe 2026/2027: Künstliche Intelligenz und Neuroinformatik, Robot Operating System, Learning Robots
SoSe 2026: Logik, AI Planning
WiSe 2025/2026: Knowledge-Based Artificial Intelligence, Künstliche Intelligenz und Neuroinformatik, Robot Operating System, Learning Robots
SoSe 2025: AI Planning
WiSe 2024/2025: Knowledge-Based Artificial Intelligence, Künstliche Intelligenz und Neuroinformatik
SoSe 2024: Logik
WiSe 2023/2024: Knowledge-Based Artificial Intelligence, Künstliche Intelligenz und Neuroinformatik, AI Planning
SoSe 2023: Programming Concepts for Cognitive Systems, Foundations of Semantic Web Technologies
WiSe 2022/2023: Knowledge-Based Artificial Intelligence, Künstliche Intelligenz und Neuroinformatik
SoSe 2022: Programming Concepts for Cognitive Systems
WiSe 2021/2022: Forschungssemester
SoSe 2021: Programming Concepts for Cognitive Systems, Foundations of Semantic Web Technologies
WiSe 2020/2021: Web Engineering
SoSe 2020: Programming Concepts for Cognitive Systems
WiSe 2019/2020: Web Engineering, Foundations of Semantic Web Technologies
SoSe 2019: Programming Concepts for Cognitive Systems
WiSe 2018/2019: Web Engineering, Foundations of Semantic Web Technologies
SoSe 2018: Einführung in die Informatik, Programming Concepts for Cognitive Systems
WiSe 2017/2018: Web Engineering, Programming Concepts for Cognitive Systems
SoSe 2017: Foundations of Semantic Web Technologies, Einführung in die Informatik
WiSe 2016/2017: Introduction to Computer Science for Psychologists, Web Engineering
SoSe 2016: Foundations of Semantic Web Technologies
WiSe 2015/2016: Introduction to Computer Science for Psychologists
SoSe 2015: Foundations of Semantic Web Technologies
WiSe 2013/2014: Einführung in die Informatik, Semantic Web Grundlagen
SoSe 2013: Algorithmen in der Wissensrepräsentation
WiSe 2012/2013: Semantic Web Grundlagen
SoSe 2012: Algorithmen in der Wissensrepräsentation
WiSe 2011/2012: Semantic Web Grundlagen
| 2026 | Lehrbonus Informatik der Universität Ulm |
| 2025 | Best Paper Nominierung ESWC Konferenz 2025 |
| 2024 | Outstanding SPC Member Award European Conference on Artificial Intelligence 2024 |
| 2023 | Best Paper Nominee, Nathan Gruber and Birte Glimm, Extended Semantic Web Conference |
| 2020 | Best Paper Award, Haonan Qiu, Adel Ayara und Birte Glimm, International Conference on Knowledge Engineering and Ontology Development |
| 2020 | Best Paper Nominee, Haonan Qiu, Adel Ayara and Birte Glimm, International Conference on Intelligent Transportation Systems 2020 |
| 2020 | Best Research Track Senior Programme Committee Member, International Semantic Web Conference |
| 2019 | Kooperationspreis Wissenschaft-Wirtschaft |
| 2019 | Best Reproducibility Award, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference |
| 2019 | Best Research Paper Award runner-up, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference |
| 2017 | Google Faculty Research Award |
| 2017 | Mileva Einstein-Marić-Preis |
| 2016 | Best Resources Paper, B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm und A. Steigmiller, International Semantic Web Conference |
| 2015 | OWL Reasoner Evaluation Competition, 6 Tracks (Reasoner Konclude: 4 × 1. and 2 × 2. prize, Reasoner HermiT: 1 × 2. and 4 × 3. prize) |
| 2014 | ISWC Best Reviewer Research Track, International Semantic Web Conference |
| 2014 | Kurt Gödel medal, 1. FLoC Olympic Games |
| 2014 | OWL Reasoner Evaluation Competition, 6 Tracks (Reasoner Konclude: 5 × 1. and 1 × 2. prize, Reasoner HermiT: 1 × 2. and 1 × 3. prize) |
| 2013 | OWL Reasoner Evaluation Competition, 9 Tracks (Reasoner Konclude: 3×1., 2×2. and 2 × 3. prize, Reasoner HermiT: 1 × 1., 2 × 2. and 1 × 3. prize) |
| 2011 | Best Programme Committee Member Finalist, International Semantic Web Conference |
| 2010 | Best Research Paper Nominee, Birte Glimm, Ian Horrocks, Boris Motik and Giorgos Stoilos, International Semantic Web Conference |
| 2008 | Steve Furber Medal for Outstanding Doctoral Thesis in Computer Science |
| 09.04–09.07 | Promotionsstipendium der Stiftung der Deutschen Wirtschaft |
| 09.04–09.07 | Stipendium des Engineering and Physical Sciences Research Council zur Finanzierung der Studiengebühren |
| 2004 | Auszeichnung für den besten Abschluss in der Informatik 2004 der Hochschule für angewandte Wissenschaften Hamburg |
| 04.02–07.04 | Stipendium der Stiftung der Deutschen Wirtschaft |
- Lehrinkubator “Agentic Software Engineering”, Prof. Dr. Matthias Tichy, Prof. Dr. Birte Glimm, Prof. Timo Ropinski (2026-2028)
- Forschungsinkubator “ChemAI: KI-gestützte Erforschung molekularer Qubit-Systeme”, Prof. Max von Delius, Prof. Birte Glimm, Prof. Alexander Kühne, Prof. Sabine Richert, Prof. Timo Ropinski (2026-2029)
- DFG Graduiertenkolleg KEMAI, co-Sprecherin, "KEMAI- Knowledge Infusion and Extraction for Explainable Medical AI" (2025-2029)
- EU Projekt "Artificial Intelligence for Connected Industries" (2023-2028)
- BMBF Projekt, Gesamtprojektleitung, "2LIKE - Lernpfade und Lernprozesse individualisieren durch KI-Methoden" (2021-2025)
- Transferprojekt T3 "Do it yourself, but not alone: Companion-Technologie für die Heimwerkerunterstützung" innerhalb des SFB/TRR 62 "Eine Companion-Technologie für kognitive technische Systeme" (2016-2019)
- DFG Projekt "Verarbeitung großer Datenmengen in Ontologien mittels Abstraktion und Verfeinerung" (2015-2019)
- Teilprojekt A2 "Wissensmodellierung" innerhalb des SFB/TRR 62 "Eine Companion-Technologie für kognitive technische Systeme" (2013-2017)
- DAAD Programm des Projektbezogenen Personenaustauschs (PPP) "Automatische Generierung von Wissensbasen" mit der National Technical University of Athens (2013-2014)
- KMU-innovativ Projekt GraphScale im Verbund mit der derivo GmbH (2012-2014)
- Dynamische Anfrageplanung für Anfragen an ontologische Wissensbasen (2012)
- Alicia Pirwass (2024-)
- Joshua Hirschbrunn (2023-)
- Michael Welt (2022-)
- Moritz Illich (2021-)
- Haonan Qiu (2018-2022)
- Andreas Steigmiller (promoviert 2016, summa cum laude, Preisträger Thomas Gessmann-Stiftung)
- Ilianna Kollia (extern an der National Technical University of Athens, promoviert 2014)
Publikationen
2016
61.
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
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 |
| Weblink: | http://dx.doi.org/10.1007/s13218-016-0428-x |
| Datei: |  https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Glim2016a.pdf |
60.
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) Band 1577 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2016
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
| Weblink: | http://ceur-ws.org/Vol-1577/invited_paper_1.pdf |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16a.pdf |
59.
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) Band 9898 aus Lecture Notes in Computer Science, Seite 77--93
Herausgeber: Springer-Verlag
2016
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) Band 9898 aus Lecture Notes in Computer Science, Seite 77--93
Herausgeber: Springer-Verlag
2016
| Weblink: | http://dx.doi.org/10.1007/978-3-319-45276-0_7 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16b.pdf |
58.
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
Herausgeber: IEEE Computer Society, Red Hook, United States
2016
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
Herausgeber: IEEE Computer Society, Red Hook, United States
2016
| DOI: | 10.1109/SSCI.2016.7849943 |
| ISBN: | 9781509042395 |
| Weblink: | http://ieeexplore.ieee.org/document/7849943/ |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/UlGl16a.pdf |
57.
Glimm,
Birte;
Stuckenschmidt,
Heiner
Special Issue on Semantic Web
KI - Künstliche Intelligenz, 30 (2) :113--115
2016
ISSN: 1610-1987
Special Issue on Semantic Web
KI - Künstliche Intelligenz, 30 (2) :113--115
2016
ISSN: 1610-1987
| DOI: | 10.1007/s13218-016-0430-3 |
| Weblink: | http://dx.doi.org/10.1007/s13218-016-0430-3 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016b.pdf |
56.
Parsia,
Bijan;
Matentzoglu,
Nicolas;
Goncalves,
Rafael S.;
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) Band 9982 aus Lecture Notes in Computer Science, Seite 159--167
Herausgeber: Springer-Verlag
2016
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) Band 9982 aus Lecture Notes in Computer Science, Seite 159--167
Herausgeber: Springer-Verlag
2016
| Weblink: | http://link.springer.com/chapter/10.1007%2F978-3-319-46547-0_17 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/PMGG16a.pdf |
2015
55.
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
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 |
54.
Behnke,
Gregor;
Schiller,
Marvin R. G.;
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
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 |
53.
Behnke,
Gregor;
Ponomaryov,
Denis;
Schiller,
Marvin R. G.;
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
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
52.
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
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 |
51.
Behnke,
Gregor;
Bercher,
Pascal;
Biundo,
Susanne;
Glimm,
Birte;
Ponomaryov,
Denis;
Schiller,
Marvin R. G.
Integrating Ontologies and Planning for Cognitive Systems
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Herausgeber: CEUR Workshop Proceedings
2015
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 |
50.
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
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 |
49.
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
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 |
48.
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
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 |
| Weblink: | http://dx.doi.org/10.1108/IJWIS-04-2015-0014 |
47.
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
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 |
| Weblink: | http://jair.org/media/4897/live-4897-9009-jair.pdf |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGl15b.pdf |
46.
Parsia,
Bijan;
Matentzoglu,
Nicolas;
Goncalves,
Rafael S.;
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) Band 1457 aus CEUR Workshop Proceedings, Seite 2-15
Herausgeber: CEUR-WS.org
2015
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
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/PMGG15a.pdf |
2014
45.
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) Band 1193 aus CEUR Workshop Proceedings, Seite 180-195
Herausgeber: CEUR-WS.org
2014
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
| Weblink: | http://ceur-ws.org/Vol-1193/paper_6.pdf |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14a.pdf |
44.
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) Band 8797 aus Lecture Notes in Computer Science, Seite 180-195
Herausgeber: Springer-Verlag
2014
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
43.
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) Band 8562 aus Lecture Notes in Computer Science, Seite 449-463
Herausgeber: Springer-Verlag
2014
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
42.
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
HermiT: An OWL 2 Reasoner
Journal of Automated Reasoning (JAR), 53 (3) :245-269
2014
| DOI: | 10.1007/s10817-014-9305-1 |
| Weblink: | http://link.springer.com/article/10.1007%2Fs10817-014-9305-1 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GHMS14a.pdf |
41.
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
Konclude: System Description
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 27 (1)
2014
| Weblink: | http://www.websemanticsjournal.org/index.php/ps/article/view/366/388 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StLG14a.pdf |
40.
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) aus ACM International Conference Proceedings
Herausgeber: ACM
2014
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
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/MUGM14a.pdf |
39.
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) Band 1193 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2014
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
| Weblink: | http://ceur-ws.org/Vol-1193/paper_49.pdf |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14b.pdf |
38.
Steigmiller,
Andreas;
Glimm,
Birte;
Liebig,
Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning, 53 (4) :351-405
2014
Herausgeber: Springer-Verlag
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 |
| Weblink: | http://link.springer.com/article/10.1007/s10817-014-9310-4 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14c.pdf |
2013
37.
Kollia,
Ilianna;
Glimm,
Birte
Optimizing SPARQL Query Answering over OWL Ontologies
Journal of Artificial Intelligence Research (JAIR), 48 :253-303
September 2013
Optimizing SPARQL Query Answering over OWL Ontologies
Journal of Artificial Intelligence Research (JAIR), 48 :253-303
September 2013
| DOI: | 10.1613/jair.3872 |
| Weblink: | https://www.jair.org/media/3872/live-3872-7402-jair.pdf |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KoGl13a.pdf |