Prof. Dr. Birte Glimm
Prof. Dr.&)uni-ulm.de
Room: O27 - 450
Phone: +49(0)731/50-24125
Fax: +49-731/50-24119
Prof. Dr. Birte Glimm
Since July 2011, I work at the University of Ulm within the Institute of Artificial Intelligence. I started as junior professor and became a full professor in 20217. Since 2022 I am chairing the institute. In 2019 our project "Do it yourself, but not alone: Companion-Technology for Home Improvement" was awarded a price for cooperations between science and industry (Kooperationspreis Wissenschaft-Wirtschaft). In 2017 I received a and I was honoured with the Mileva Einstein-Marić-Prize.
Before coming to Ulm, I was a research assistant in the Department of Computer Science at the University of Oxford, where I worked in the , mainly on developing algorithms for automated reasoning in expressive Description Logics and on the implementation of the .
I did my PhD in Manchester in the 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.
Further Information
My scientific interest is mainly in knowledge representation and automatic reasoning. I develop, implement and optimize algorithms for automatic reasoning in expressive description logics and analyze their complexity. For example, I have developed various optimizations for tableau algorithms, novel procedures for combining tableau and saturation-based algorithms and algorithms for answering queries. Our new abstraction and refinement procedure allows conclusions to be drawn about knowledge bases with very large amounts of data. We are also working on providing autonomous vehicles with dynamic knowledge of map data, where a particular challenge lies in the high dynamics. Our research on the generation of explanations in natural language allows the automated derivations to be made comprehensible.
I am an editor of the specification, developed within the 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 , which describes the conditions that OWL 2 tools must satisfy in order to be conformant with the language specification.
- Member of the Grants and Senate Committee on Research Training Groups, German Research Foundation (DFG), 2025--2027
- Member of the focus group Artificial Intelligence of the German Science and Humanities Council (Wissenschaftsrat), since 2024
- Co-Organiser of the Dagstuhl Perspectives Seminar "Current and Future Challenges in Knowledge Representation and Reasoning"
- Steering Commitee Center for AI (C4AI) fortiss/IBM (2020-2023)
- since 2024 Dean of Studies Cognitive Systems
- since 2023 Dean of Studies Computer Science (for BSc+Msc Computer Science, BSc+Msc Media Informatics, BSc+Msc Software Engineering, MSc Artificial Intelligence)
- since 2023 Deputy of the Exam Board Computer Science (for BSc+Msc Computer Science, BSc+Msc Media Informatics, BSc+Msc Software Engineering, MSc Artificial Intelligence)
- 2019-2023 Chair of the Exam Board Computer Science (for BSc+Msc Computer Science, BSc+Msc Media Informatics, BSc+Msc Software Engineering, MSc Artificial Intelligence)
- since 2014 Chair of the Admissions Board Cognitive Systems
- since 2022 Deputy Ombudsperson Good Research Practice
- since 2019 Deputy of the Exam Board Cognitive Systems
- seit 2022 Member Dr. rer. nat. PhD Commission
- 2019-2022 Chair of the Exam Board Cognitive Systems
- 2018-2021 Member of the Study Commission Cognitive Systems
- SoSe 2021 Member of the Study Commission Computer Science
- 2015-2018 Programme Coordination MSc Cognitive Systems
- Editor of the SPARQL 1.1 Entailment Regimes Specification
- Editor of the OWL 2 Web Ontology Language Conformance Standard
- Editor of the Special Issue "Semantic Web" of the
- Doctoral Consortium Co-Chair of the 14th Conference on Principles of Knowledge Representation and Reasoning (KR) 2014
- General Chair of the
- Program Chair of the
- Program Chair of the
- Satellite Events Chair of the
- Poster & Demos Chair of the
- Member of the (DL, 2010-2011, 2013-2016)
- Member of the (Principles of Knowledge Representation and Reasoning, Incorporated) (2017-2021)
- Scientific Advisary Board ,
- Area Chair
- Senior Program Committee Member von , , , , ,
- Program Committee member of , , , , , , , (Distinguished PC), , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and
- Reviewer for the conferences and 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
- Reviewer for the , , , , , , , ,
- Reviewer for DFG, DAAD, BMBF, Dutch Technology Foundation (STW)
Projects and seminars in the area of Semantic Web and Artificial Intelligence
Lectures
WS 2024/2025: ,
SS 2024: :
WS 2023/2024: , ,
SS 2023: ,
WS 2022/2023: ,
SS 2022:
WS 2021/2022: research semester
SS 2021: ,
WS 2020/2021:
SS 2020:
WS 2019/2020: ,
SS 2019:
WS 2018/2019: ,
SS 2018: ,
WS 2017/2018: ,
SS 2017: ,
WS 2016/2017: ,
SS 2016: Foundations of Semantic Web Technologies
WS 2015/2016:
SS 2015: Foundations of Semantic Web Technologies
WS 2013/2014: EinfĂĽhrung in die Informatik, Semantic Web Grundlagen
SS 2013: Algorithmen in der Wissensrepräsentation
WS 2012/2013: Semantic Web Grundlagen
SS 2012: Algorithmen in der Wissensrepräsentation
WS 2011/2012: Semantic Web Grundlagen
| 2024 | European Conference on Artificial Intelligence 2024 |
| 2023 | , Nathan Gruber and Birte Glimm, Extended Semantic Web Conference |
| 2020 | , Haonan Qiu, Adel Ayara and 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 | , Andreas Steigmiller and Birte Glimm, International Semantic Web Conference |
| 2019 | , Andreas Steigmiller and Birte Glimm, International Semantic Web Conference |
| 2017 | |
| 2017 | Mileva Einstein-Marić-Preis |
| 2016 | , B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm and 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 | , 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 | , Birte Glimm, Ian Horrocks, Boris Motik and Giorgos Stoilos, International Semantic Web Conference |
| 2008 | |
| 09.04–09.07 | Doctoral scholarship of the Foundation of German Business |
| 09.04–09.07 | Engineering and Physical Sciences Research Council studentship |
| 2004 | Best computer science degree in 2004 at the Hamburg University of Applied Sciences |
| 04.02–07.04 | Scholarship of the Foundation of German Business |
- DFG Research Training Group KEMAI, co-Spokesperson, "KEMAI- Knowledge Infusion and Extraction for Explainable Medical AI" (2025-2029)
- EU Projekt "Artificial Intelligence for Connected Industries" (2023-2028)
- BMBF project, project lead, "2LIKE - Artificial Intelligence for Individualised Learning Path and Processes" (2021-2025)
- Transfer project T3 "Do it yourself, but not alone: Companion-Technologie fĂĽr die HeimwerkerunterstĂĽtzung" within the Collaborative Research Center "A Companion-Technology for Cognitive Technical Systems" (2016-2019)
- DFG Project: Processing of Large Amounts of Data in Ontologies via Abstraction and Refinement (2015-2019)
- Project A2 "Knowledge Modelling" within the Collaborative Research Center "A Companion-Technology for Cognitive Technical Systems" (2013-2017)
- DAAD Programme des Projektbezogenen Personenaustauschs (PPP) "Automatic Generation of Description Logic Knowledge Bases" with the National Technical University of Athens (2013-2014)
- KMU-innovativ project GraphScale in collaboration with (2012-2014)
- Dynamic Query Planning for Querying Ontologies (2012)
- Joshua Hirschbrunn (2023-)
- Michael Welt (2022-)
- Moritz Illich (2021-)
- Haonan Qiu (2018-2022)
- Andreas Steigmiller (finished 2016, summa cum laude, dissertation award Thomas Gessmann-Stiftung)
- Ilianna Kollia (external at the National Technical University of Athens, finished 2014)
Publications
2025
105.
Sundermann,
Rahel;
Krieter,
Sebastian;
Glimm,
Birte;
ThĂĽm,
Thomas
Teaching Software Quality with Adaptive Source Code Feedback
Proc. German Workshop on Software-Reengineering and Evolution (WSRE), Page 10-12
Publisher: Gesellschaft fĂĽr Informatik
April 2025
Teaching Software Quality with Adaptive Source Code Feedback
Proc. German Workshop on Software-Reengineering and Evolution (WSRE), Page 10-12
Publisher: Gesellschaft fĂĽr Informatik
April 2025
104.
Welt,
Michael;
Lodemann,
Alexander;
Olz,
Conny;
Bercher,
Pascal;
Glimm,
Birte
Calculating Optimal Corrections for Unsolvable Planning Problems
Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025)
Publisher: IOS Press
2025
Calculating Optimal Corrections for Unsolvable Planning Problems
Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025)
Publisher: IOS Press
2025
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2025/Welt2025Unsolvable.pdf |
2023
103.
Santos-Teixeira,
Milene;
Welt,
Michael;
Glimm,
Birte
Challenges on Deriving Planning Problems from Ontologies
Proceedings of the PLanning And onTology wOrkshop (PLATO)
2023
Challenges on Deriving Planning Problems from Ontologies
Proceedings of the PLanning And onTology wOrkshop (PLATO)
2023
102.
Gruber,
Nathan;
Glimm,
Birte
Comparative Research in Stream Reasoning
Proceedings of the 20th European Semantic Web Conference (ESWC 2023) from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2023
Comparative Research in Stream Reasoning
Proceedings of the 20th European Semantic Web Conference (ESWC 2023) from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2023
101.
Welt,
Michael;
Glimm,
Birte;
Santos-Teixeira,
Milene
Computing Minimal Unsolvable and Maximal Solvable Abstractions of Planning Problems via Hitting Set Trees
Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2023)
2023
Computing Minimal Unsolvable and Maximal Solvable Abstractions of Planning Problems via Hitting Set Trees
Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2023)
2023
2022
100.
Illich,
Moritz;
Glimm,
Birte
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2022)
Publisher: Morgan Kaufmann
2022
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2022)
Publisher: Morgan Kaufmann
2022
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2022/IlGl22a.pdf |
99.
Illich,
Moritz;
Glimm,
Birte
Computing Concept Referring Expressions with Standard OWL Reasoners
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor, Proceedings of the 35th International Workshop on Description Logics (DL 2022) Volume 3263 from CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2022
Computing Concept Referring Expressions with Standard OWL Reasoners
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor, Proceedings of the 35th International Workshop on Description Logics (DL 2022) Volume 3263 from CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2022
| File: |  |
98.
Glimm,
Birte;
Kazakov,
Yevgeny;
Welt,
Michael
Concept Abduction for Description Logics
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor, Proceedings of the 35th International Workshop on Description Logics (DL 2022) Volume 3263 from CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2022
Concept Abduction for Description Logics
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor, Proceedings of the 35th International Workshop on Description Logics (DL 2022) Volume 3263 from CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2022
| File: | |
97.
Delgrande,
James P.;
Glimm,
Birte;
Meyer,
Thomas;
Truszczynski,
Miroslaw;
Teixeira,
Milene Santos;
Wolter,
Frank
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)
Dagstuhl Reports, 12 (7) :62—79
2022
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)
Dagstuhl Reports, 12 (7) :62—79
2022
| DOI: | |
| File: |
96.
Glimm,
Birte;
Kazakov,
Yevgeny
SAT-Based Axiom Pinpointing Revisited
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor, Proceedings of the 35th International Workshop on Description Logics (DL 2022) Volume 3263 from CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2022
SAT-Based Axiom Pinpointing Revisited
In Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Editor, Proceedings of the 35th International Workshop on Description Logics (DL 2022) Volume 3263 from CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2022
| File: | |
2021
95.
Bercher,
Pascal;
Behnke,
Gregor;
Kraus,
Matthias;
Schiller,
Marvin R. G.;
Manstetten,
Dietrich;
Dambier,
Michael;
Dorna,
Michael;
Minker,
Wolfgang;
Glimm,
Birte;
Biundo,
Susanne
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement — Bringing a Planning-Based Interactive DIY Assistant to Life
Künstliche Intell., 35 (3) :367—375
2021
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement — Bringing a Planning-Based Interactive DIY Assistant to Life
Künstliche Intell., 35 (3) :367—375
2021
| DOI: | |
| File: |
94.
Bercher,
Pascal;
Behnke,
Gregor;
Kraus,
Matthias;
Schiller,
Marvin R. G.;
Manstetten,
Dietrich;
Dambier,
Michael;
Dorna,
Michael;
Minker,
Wolfgang;
Glimm,
Birte;
Biundo,
Susanne
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement – Bringing a Planning-Based Interactive DIY Assistant to Life
Künstliche Intelligenz – Special Issue on NLP and Semantics
2021
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement – Bringing a Planning-Based Interactive DIY Assistant to Life
Künstliche Intelligenz – Special Issue on NLP and Semantics
2021
| Weblink: | |
| File: |
93.
Wenzel,
Maximilian;
Liebig,
Thorsten;
Glimm,
Birte
HDT Bitmap Triple Indices for Efficient RDF Data Exploration
Proceedings of the 18th European Semantic Web Conference (ESWC 2021) from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2021
HDT Bitmap Triple Indices for Efficient RDF Data Exploration
Proceedings of the 18th European Semantic Web Conference (ESWC 2021) from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2021
92.
Qiu,
Haonan;
Ayara,
Adel;
Glimm,
Birte
Ontology-Based Map Data Quality Assurance
Proceedings of the 18th European Semantic Web Conference (ESWC 2021) from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2021
Ontology-Based Map Data Quality Assurance
Proceedings of the 18th European Semantic Web Conference (ESWC 2021) from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2021
91.
Steigmiller,
Andreas;
Glimm,
Birte
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics
Proceedings of the 18th European Semantic Web Conference (ESWC 2021) from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2021
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics
Proceedings of the 18th European Semantic Web Conference (ESWC 2021) from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2021
90.
Steigmiller,
Andreas;
Glimm,
Birte;
Liebig,
Thorsten
Query Answering and Scaling Extensions of Konclude
In Gunjan Singh and Raghava Mutharaju and Pavan Kapanipathi, Editor, Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021) Volume 3123 from CEUR Workshop Proceedings, Page 37—43
Publisher: CEUR-WS.org
2021
Query Answering and Scaling Extensions of Konclude
In Gunjan Singh and Raghava Mutharaju and Pavan Kapanipathi, Editor, Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021) Volume 3123 from CEUR Workshop Proceedings, Page 37—43
Publisher: CEUR-WS.org
2021
| File: | |
2020
89.
Qiu,
Haonan;
Ayara,
Adel;
Glimm,
Birte
A Knowledge Architecture Layer for Map Data in Autonomous Vehicles
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2020)
Publisher: IEEE
2020
A Knowledge Architecture Layer for Map Data in Autonomous Vehicles
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2020)
Publisher: IEEE
2020
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20a.pdf |
88.
Qiu,
Haonan;
Ayara,
Adel;
Glimm,
Birte
A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving
, Proceedings of the ISWC 2020 Posters & Demonstrations Track Volume 2721 from CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2020
A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving
, Proceedings of the ISWC 2020 Posters & Demonstrations Track Volume 2721 from CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2020
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20c.pdf |
87.
Behnke,
Gregor;
Bercher,
Pascal;
Kraus,
Matthias;
Schiller,
Marvin R. G.;
Mickeleit,
Kristof;
Häge,
Timo;
Dorna,
Michael;
Dambier,
Michael;
Minker,
Wolfgang;
Glimm,
Birte;
Biundo,
Susanne
New Developments for Robert – Assisting Novice Users Even Better in DIY Projects
Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), Page 343--347
Publisher: AAAI Press
2020
New Developments for Robert – Assisting Novice Users Even Better in DIY Projects
Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), Page 343--347
Publisher: AAAI Press
2020
| Weblink: | |
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Behnke2020DIYAssistant.pdf |
86.
Qiu,
Haonan;
Ayara,
Adel;
Glimm,
Birte
Ontology-based Processing of Dynamic Maps in Automated Driving
Proceedings of the 12th International Conference on Knowledge Engineering and Ontology Development (KEOD 2020)
Publisher: SciTePress
2020
Ontology-based Processing of Dynamic Maps in Automated Driving
Proceedings of the 12th International Conference on Knowledge Engineering and Ontology Development (KEOD 2020)
Publisher: SciTePress
2020
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20b.pdf |
85.
Kraus,
Matthias;
Schiller,
Marvin R. G.;
Behnke,
Gregor;
Bercher,
Pascal;
Dorna,
Michael;
Dambier,
Michael;
Glimm,
Birte;
Biundo,
Susanne;
Minker,
Wolfgang
Was that successful? On Integrating Proactive Meta-Dialogue in a DIY-Assistant System using Multimodal Cues
Proceedings of 22nd ACM International Conference on Multimodal Interaction (ICMI 2020)
Publisher: ACM
2020
Was that successful? On Integrating Proactive Meta-Dialogue in a DIY-Assistant System using Multimodal Cues
Proceedings of 22nd ACM International Conference on Multimodal Interaction (ICMI 2020)
Publisher: ACM
2020
| Weblink: | |
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/KSBB20a.pdf |
2019
84.
Kraus,
Matthias;
Schiller,
Marvin R. G.;
Behnke,
Gregor;
Bercher,
Pascal;
Biundo,
Susanne;
Glimm,
Birte;
Minker,
Wolfgang
9th International Workshop on Spoken Dialogue Systems
In Rafael Banchs and Luis Fernando D'Haro and Haizhou Li, Editor from Lecture Notes in Electrical Engineering
Chapter A Multimodal Dialogue Framework for Cloud-Based Companion Systems
Publisher: Springer
2019
9th International Workshop on Spoken Dialogue Systems
In Rafael Banchs and Luis Fernando D'Haro and Haizhou Li, Editor from Lecture Notes in Electrical Engineering
Chapter A Multimodal Dialogue Framework for Cloud-Based Companion Systems
Publisher: Springer
2019
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf |
83.
Steigmiller,
Andreas;
Glimm,
Birte
Absorption-Based Query Answering for Expressive Description Logics
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Editor, Proceedings of the 18th International Semantic Web Conference (ISWC 2019) Band 11778 aus Lecture Notes in Computer Science, Page 593--611
Publisher: Springer International Publishing, Cham
2019
Absorption-Based Query Answering for Expressive Description Logics
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Editor, Proceedings of the 18th International Semantic Web Conference (ISWC 2019) Band 11778 aus Lecture Notes in Computer Science, Page 593--611
Publisher: Springer International Publishing, Cham
2019
| ISBN: | 978-3-030-30793-6 |
| Weblink: | |
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/StGl2019-ABQA-ISWC.pdf |
82.
Steigmiller,
Andreas;
Glimm,
Birte
Absorption-Based Query Entailment Checking for Expressive Description Logics
Proceedings of the 32nd International Workshop on Description Logics (DL 2019) Band 2373 aus CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2019
Absorption-Based Query Entailment Checking for Expressive Description Logics
Proceedings of the 32nd International Workshop on Description Logics (DL 2019) Band 2373 aus CEUR Workshop Proceedings
Publisher: CEUR-WS.org
2019
| Weblink: | |
| File: | |
81.
Behnke,
Gregor;
Schiller,
Marvin R. G.;
Kraus,
Matthias;
Bercher,
Pascal;
Schmautz,
Mario;
Dorna,
Michael;
Dambier,
Michael;
Minker,
Wolfgang;
Glimm,
Birte;
Biundo,
Susanne
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
AI Communications, 32 (1) :31-57
2019
Publisher: IOS Press
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
AI Communications, 32 (1) :31-57
2019
Publisher: IOS Press
| DOI: | |
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf |