Prof. Dr. Birte Glimm

Institutsleitung

Universität Ulm
Institut für Künstliche Intelligenz
James-Franck-Ring

89081 Ulm

birte.glimm(at)uni-ulm.de

Prof. Dr. Birte Glimm

O27 - 450

+49(0)731/50-24125

+49-731/50-24119

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 mit Übernahme der Institutsleitung in 2022. In 2019 wurde unser Projekt "Do it yourself, but not alone: Companion-Technologie für die Heimwerkerunterstützung" mit dem Kooperationspreis Wissenschaft-Wirtschaft ausgezeichnet. In 2017 erhielt ich einen Google Faculty Research Award und wurde mit dem Mileva Einstein-Marić-Preis ausgezeichnet.

Vor meiner Arbeit in Ulm, 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

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. Ich habe zum Beispiel diverse Optimierungen für Tableau Algorithmen, neuartige Verfahren zur Kombination von Tableau und Saturierungsverfahren und Verfahren zur Anfragebeantwortung entwickelt. Unser neuartiges Abstraktions- und Verfeinerungsverfahren erlaubt das Schlussfolgern über Wissensbasen mit sehr großen Datenmengen. Weiterhin arbeiten wir daran, autonomen Fahrzeugen dynamisch Wissen über Kartendaten zur Verfügung zu stellen. Besonderer Herausforderungen sind dabei die hohe Dynamik und die großen Datenmengen über die geschlussfogert werden muss. Unsere Forschung zur Generierung von Erklärungen in natürlicher Sprache, erlaubt dabei die automatischen Ableitung nachvollziehbar zu machen.

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.

Mitglied des Senats- und Bewilligungsauschusses der DFG , 2025--2027
Mitglied Fokusgruppe KI des Wissenschaftsrats, seit 2024
Mitorganisatorin des Dagstuhl Perspectives Seminars "Current and Future Challenges in Knowledge Representation and Reasoning"
Steering Commitee Center for AI (C4AI) fortiss/IBM (2020-2023)
seit 2024 Studiendekanin Cognitive Systems
seit 2023 Studiendekanin Informatik (für die Studiengänge BSc+Msc Informatik, BSc+Msc Medienformatik, BSc+Msc Software Engineering, MSc Künstliche Intelligenz)
seit 2023 Stellvertretender Vorsitz Prüfungsausschuss Informatik (für die Studiengänge BSc+Msc Informatik, BSc+Msc Medienformatik, BSc+Msc Software Engineering, MSc Künstliche Intelligenz)
2019-2023 Vorsitz Prüfungsausschuss Informatik (für die Studiengänge BSc+Msc Informatik, BSc+Msc Medienformatik, BSc+Msc Software Engineering, MSc Künstliche Intelligenz)
seit 2014 Vorsitz Zulassungsausschuss Cognitive Systems
2022-2023 Stellvertretende Ombudsperson Gute Wissenschaftliche Praxis
seit 2022 Stellvertretender Vorsitz Prüfungsausschuss Cognitive Systems
seit 2022 Mitglied Promotionsausschuss Dr. rer. nat. (Informatik)
2019-2022 Vorsitz Prüfungsausschuss Cognitive Systems
2018-2021 Mitglied der Studienkommission Cognitive Systems
SoSe 2021 Mitglied der Studienkommission Informatik
2015-2018 Programmkoordination MSc Cognitive Systems
Editor der SPARQL 1.1 Entailment Regimes Spezifikation
Editor des OWL 2 Web Ontology Language Conformance Standards
Editor der Special Issue "Semantic Web" des Magazins KI - Künstliche Intelligenz
Mitglied des Steering Committee KR Inc (Principles of Knowledge Representation and Reasoning, Incorporated) (2017-2021)
Mitglied des Steering Committee des International Description Logic Workshop (DL, 2010-2011, 2013-2016)
Doctoral Consortium Co-Chair der 14th Conference on Principles of Knowledge Representation and Reasoning (KR) 2014
General Chair des International Description Logic Workshop (DL) 2013
Program Chair der German Conference on Artificial Intelligence (KI) 2012
Program Chair des International Workshop on Description Logics 2017
Satellite Events Chair der International Joint Conference on Automated Reasoning (IJCAR) 2012
Poster & Demos Chair der International Semantic Web Conference (ISWC) 2012
Scientific Advisary Board Reasoning Web Summer Schoiol 2020, Reasoning Web Summer School 2021
Chair KR in the Wild Track, KR 2024
Area Chair European Conference on Artificial Intelligence 2025
Senior Program Committee Member von ECAI 2024, ISWC 2020, ISWC 2016, KR2016, ISWC 2015, AAAI 2012
Program Committee Member von 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 Semantic Web und Künstliche Intelligenz

Vorlesungen

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

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

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

2012

30.

Kollia, Ilianna; Glimm, Birte
Cost Based Query Ordering over OWL Ontologies
, Proceedings of the 11th International Semantic Web Conference (ISWC 2012) Band 7649 aus Lecture Notes in Computer Science, Seite 231-246
Herausgeber: Springer-Verlag
November 2012

DOI:	10.1007/978-3-642-35176-1_15
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12b.pdf

29.

Nikitina, Nadeschda; Glimm, Birte
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
, Proceedings of the 11th International Semantic Web Conference (ISWC 2012) Band 7649 aus Lecture Notes in Computer Science, Seite 394-409
Herausgeber: Springer-Verlag
November 2012

DOI:	10.1007/978-3-642-35176-1_25
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiGl12a.pdf

28.

Glimm, Birte; Horrocks, Ian; Motik, Boris; Shearer, Rob; Stoilos, Giorgos
A Novel Approach to Ontology Classification
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 14 :84-101
Juli 2012
Herausgeber: Elsevier Science Publishers (North-Holland)
ISSN: 1570-8268

DOI:	10.1016/j.websem.2011.12.007
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHMS12a.pdf

27.

Kollia, Ilianna; Glimm, Birte
Cost Based Query Ordering over OWL Ontologies
, Proceedings of the 25th International Description Logic Workshop (DL 2012) Band 846 aus CEUR Workshop Proceedings
Juni 2012

Weblink:	http://ceur-ws.org/Vol-846/paper_40.pdf
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12a.pdf

26.

Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Extended Caching and Backjumping for Expressive Description Logics
, Proceedings of the 25th International Description Logic Workshop (DL 2012) Band 846 aus CEUR Workshop Proceedings
Juni 2012

Weblink:	http://ceur-ws.org/Vol-846/paper_36.pdf
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12b.pdf

25.

Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Extended Caching, Backjumping and Merging for Expressive Description Logics
, Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) Band 7364 aus Lecture Notes in Computer Science, Seite 514-529
Juni 2012

DOI:	10.1007/978-3-642-31365-3_40
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12a.pdf

24.

Glimm, Birte; Hogan, Aidan; Krötzsch, Markus; Polleres, Axel
OWL: Yet to arrive on the Web of Data?
Band 937
Proceedings of the 5th Linked Data on the Web Workshop (LDOW2012)
Herausgeber: CEUR Workshop Proceedings
April 2012

Weblink:	http://ceur-ws.org/Vol-937/ldow2012-paper-16.pdf
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHKP12a.pdf

23.

Nikitina, Nadeschda; Rudolph, Sebastian; Glimm, Birte
Interactive Ontology Revision
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 12-13 :118-130
April 2012
Herausgeber: Elsevier Science Publishers (North-Holland), Amsterdam
ISSN: 1570-8268

DOI:	10.1016/j.websem.2011.12.002
Weblink:	http://www.sciencedirect.com/science/article/pii/S1570826811001028
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiRG12a.pdf

22.

Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Extended Caching, Backjumping and Merging for Expressive Description Logics
Dokument Nummer: TR-2012-01
University of Ulm
2012

Datei:

http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui/Ulmer_Informatik_Berichte/2012/UIB-2012-01.pdf

2011

21.

Glimm, Birte
Answering Queries over OWL Ontologies with SPARQL
, Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011) Band 796
Herausgeber: CEUR Workshop Proceedings
2011

Weblink:	http://ceur-ws.org/Vol-796/owled2011_submission_4.pdf
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11b.pdf

20.

Glimm, Birte
Query Answering over SROIQ Knowledge Bases with SPARQL
, Proceedings of the 2011 International Workshop on Description Logic (DL 2011) Band 745
Herausgeber: CEUR Workshop Proceedings
2011

Weblink:	http://ceur-ws.org/Vol-745/paper_27.pdf
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11c.pdf

19.

Glimm, Birte
Reasoning Web 2011
Band 6848 aus Lecture Notes in Computer Science
Kapitel Using SPARQL with RDFS and OWL Entailment, Seite 137-201
Herausgeber: Springer-Verlag
2011
137-201

DOI:	10.1007/978-3-642-23032-5_3
Weblink:	http://www.springerlink.com/content/f631487023034527/fulltext.pdf
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Glim11a.pdf

18.

Glimm, Birte
Reasoning-Supported Interactive Revision of Knowledge Bases
, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) Band 745
Herausgeber: AAAI Press/The MIT Press
2011

Weblink:	http://www.aaai.org/ocs/index.php/IJCAI/IJCAI11/paper/view/2998
Datei:	http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/NiRG11a.pdf

17.

Kazakov, Yevgeny; Lutz, Carsten; Glimm, Birte
Status QIO: An Update
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, Editor, Description Logics Band 745 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2011

Weblink:	http://ceur-ws.org/Vol-745/paper_44.pdf
Datei:	/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/GliKazLut11QIO_DL.pdf

16.

Nikitina, Nadeschda; Glimm, Birte; Rudolph, Sebastian
Wheat and Chaff - Practically Feasible Interactive Ontology Revision
, Proceedings of the 10th International Semantic Web Conference (ISWC 2011) Band 7031, Seite 487-503
Herausgeber: Springer-Verlag
2011

DOI:	10.1007/978-3-642-25073-6_31
Weblink:	http://www.springerlink.com/content/r51v2xn6188kv4m2/
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/NiGR11a.pdf

2010

15.

Glimm, Birte
Integrated Metamodeling and Diagnosis in OWL 2
Dokument Nummer: 3006
Herausgeber: Springer-Verlag
Institut AIFB, KIT
Proceedings of the 9th International Semantic Web Conference (ISWC 2010)
2010

DOI:	10.1007/978-3-642-17746-0_17
Weblink:	http://www.springerlink.com/content/t227034122234502/
Datei:	http://www.aifb.kit.edu/images/a/a4/TR-GRV-MEtamodelling.pdf

14.

Glimm, Birte
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Journal of Artificial Intelligence Research, 39 :429-481
2010

DOI:	10.1613/jair.3029
Weblink:	http://www.jair.org/media/3029/live-3029-5248-jair.pdf
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/RuGl10a.pdf

13.

Glimm, Birte
Optimising Ontology Classification
, Proceedings of the 9th International Semantic Web Conference (ISWC 2010) Band 6414 aus Lecture Notes in Computer Science, Seite 225-240
Herausgeber: Springer-Verlag
2010

DOI:	10.1007/978-3-642-21034-1_26
Weblink:	http://www.springerlink.com/content/b6t3155821j66477/
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GHMS10a.pdf

12.

Glimm, Birte
Optimized Description Logic Reasoning via Core Blocking
, Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010) Band 6173 aus Lecture Notes in Computer Science, Seite 457-471
Herausgeber: Springer-Verlag
2010

DOI:	10.1007/978-3-642-14203-1_39
Weblink:	http://www.springerlink.com/content/k248v45858j1101k/
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlHM10a.pdf

2009

11.

Glimm, Birte
A Syntax for Rules in OWL 2
Herausgeber: CEUR Workshop Proceedings
The University of Oxford
Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009)
2009

Weblink:	http://ceur-ws.org/Vol-529/owled2009_submission_16.pdf
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GHPP09b.pdf

10.

Glimm, Birte
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
, Proceedings of the 2009 International Workshop on Description Logic (DL 2009) Band 477
Herausgeber: CEUR Workshop Proceedings
2009

Weblink:	http://ceur-ws.org/Vol-477/paper_6.pdf
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GlRu09a.pdf

2008

Glimm, Birte; Kazakov, Yevgeny
Role Conjunctions in Expressive Description Logics
Herausgeber: Lecture Notes in Computer Science
The University of Oxford
Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008)
2008

DOI:	10.1007/978-3-540-89439-1_28
Weblink:	http://www.springerlink.com/content/r5641x1502220vv2/
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GlKa08b.pdf

2007

Glimm, Birte
Conjunctive Query Answering for the Description Logic SHIQ
, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) Band 31, Seite 150-197
2007

DOI:	10.1613/jair.2372
Weblink:	http://www.aaai.org/Library/IJCAI/2007/ijcai07-062.php
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GHLS07a.pdf

Glimm, Birte
Conjunctive Query Entailment for SHOQ
, Proceedings of the 2007 International Workshop on Description Logic (DL 2007) Band 250
Herausgeber: CEUR Workshop Proceedings
2007

Weblink:	http://ceur-ws.org/Vol-250/paper_63.pdf
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GlHS07a.pdf

Glimm, Birte
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science, 174 (6) :3-14
2007

DOI:	10.1016/j.entcs.2006.11.022
Weblink:	http://www.sciencedirect.com/science/article/pii/S1571066107002393
Datei:	https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/HoGS07a.pdf