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 . Aktuell bin ich au脽erdem Mitglied der Arbeitsgruppe 鈥淜I 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 础办迟颈惫颈迟盲迟别苍
- Vizepr盲sidentin f眉r Lehre und Internationales (seit 2026)
- Mitglied des Senats- und Bewilligungsauschusses der DFG , (seit 2025)
- Mitglied in der Arbeitsgruppe 鈥淜I 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 (2027)
Vergangene 础办迟颈惫颈迟盲迟别苍 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 础办迟颈惫颈迟盲迟别苍 Wissenschaftsverwaltung
- 2024-2026 Mitglied in der Fokussgruppe KI des Wissenschaftsrats
- 2025 Area Chair
- 2020-2023 Steering Commitee Center for AI (C4AI) fortiss/IBM
- 2024 Chair KR in the Wild Track,
- 2022 Mitorganisatorin des Dagstuhl Perspectives Seminars 鈥淐urrent and Future Challenges in Knowledge Representation and Reasoning鈥�
- 2021 Scientific Advisary Board
- 2017-2021 Mitglied des (Principles of Knowledge Representation and Reasoning, Incorporated)
- 2020 Scientific Advisary Board
- 2017 Program Chair des
- 2013-2016 Mitglied des
- 2016 Editor der Special Issue "Semantic Web" des Magazins
- 2014 Doctoral Consortium Co-Chair der 14th Conference on Principles of Knowledge Representation and Reasoning
- 2013 General Chair des
- 2009-2013 Editor der SPARQL 1.1 Entailment Regimes Spezifikation
- 2012 Program Chair der
- 2012 Satellite Events Chair der
- 2012 Poster & Demos Chair der
- 2009-2012 Editor des OWL 2 Web Ontology Language Conformance Standards
- 2010-2011 Mitglied des
- Senior Program Committee Member von , , , , ,
- Program Committee Member von , , , , , , , , , , , , , , , (Distinguished PC), , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , und
- 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 , , , , , , , ,
- 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: , ,
SoSe 2026: ,
WiSe 2025/2026: , , ,
SoSe 2025:
WiSe 2024/2025: ,
SoSe 2024:
WiSe 2023/2024: , ,
SoSe 2023: ,
WiSe 2022/2023: ,
SoSe 2022:
WiSe 2021/2022: Forschungssemester
SoSe 2021: ,
WiSe 2020/2021:
SoSe 2020:
WiSe 2019/2020: ,
SoSe 2019:
WiSe 2018/2019: ,
SoSe 2018: ,
WiSe 2017/2018: ,
SoSe 2017: ,
WiSe 2016/2017: ,
SoSe 2016: Foundations of Semantic Web Technologies
WiSe 2015/2016:
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 |
| 2024 | European Conference on Artificial Intelligence 2024 |
| 2023 | , Nathan Gruber and Birte Glimm, Extended Semantic Web Conference |
| 2020 | , 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 | , 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 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 | , 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 | 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 鈥淎gentic Software Engineering鈥�, Prof. Dr. Matthias Tichy, Prof. Dr. Birte Glimm, Prof. Timo Ropinski (2026-2028)
- Forschungsinkubator 鈥淐hemAI: 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 "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 "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 (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
2013
36.
Steigmiller,
Andreas;
Glimm,
Birte;
Liebig,
Thorsten
Extending Absorption to Nominal Schemas
Proceedings of the 26th International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings
2013
Extending Absorption to Nominal Schemas
Proceedings of the 26th International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings
2013
| Weblink: | |
| Datei: |  /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13b.pdf |
35.
Cheptsov,
Alexey;
Tenschert,
Axel;
Schmidt,
Paul;
Glimm,
Birte;
Matthesius,
Mauricio;
Liebig,
Thorsten
Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing
In Axel Tenschert and Alexey Cheptsov, Editor, Proceedings of the International Workshop on Big Web Data (BigWebData 2013) aus Lecture Notes in Computer Science
Herausgeber: Springer
2013
Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing
In Axel Tenschert and Alexey Cheptsov, Editor, Proceedings of the International Workshop on Big Web Data (BigWebData 2013) aus Lecture Notes in Computer Science
Herausgeber: Springer
2013
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CTSG13a.pdf |
34.
Steigmiller,
Andreas;
Glimm,
Birte;
Liebig,
Thorsten
Nominal Schema Absorption
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Herausgeber: AAAI Press/The MIT Press
2013
Nominal Schema Absorption
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Herausgeber: AAAI Press/The MIT Press
2013
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13a.pdf |
33.
Chaussecourte,
Pierre;
Glimm,
Birte;
Horrocks,
Ian;
Motik,
Boris;
Pierre,
Laurent
The Energy Management Adviser at EDF
, Proceedings of the 12th International Semantic Web Conference (ISWC 2013) Band 8219 aus Lecture Notes in Computer Science, Seite 49-64
Herausgeber: Springer-Verlag
2013
The Energy Management Adviser at EDF
, Proceedings of the 12th International Semantic Web Conference (ISWC 2013) Band 8219 aus Lecture Notes in Computer Science, Seite 49-64
Herausgeber: Springer-Verlag
2013
| DOI: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CGHM13a.pdf |
32.
Schiller,
Marvin R. G.;
Glimm,
Birte
Towards Explicative Inference for OWL
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings
2013
Towards Explicative Inference for OWL
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings
2013
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/ScGl13a.pdf |
31.
Glimm,
Birte;
Kazakov,
Yevgeny;
Kollia,
Ilianna;
Stamou,
Giorgos
Using the TBox to Optimise SPARQL Queries
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings
2013
Using the TBox to Optimise SPARQL Queries
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings
2013
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/GKKS13a.pdf |
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
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: | |
| Datei: | |
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
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: | |
| Datei: | |
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
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: | |
| Datei: | |
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
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: | |
| Datei: | |
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
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: | |
| Datei: | |
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
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: | |
| Datei: | |
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
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: | |
| Datei: | |
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
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: | |
| Weblink: | |
| Datei: | |
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
Extended Caching, Backjumping and Merging for Expressive Description Logics
Dokument Nummer: TR-2012-01
University of Ulm
2012
| Datei: | |
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
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: | |
| Datei: | |
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
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: | |
| Datei: | |
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
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: | |
| Weblink: | |
| Datei: | |
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
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: | |
| Datei: | |
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
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: | |
| 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
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: | |
| Weblink: | |
| Datei: | /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
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: | |
| Weblink: | |
| Datei: | |
14.
Glimm,
Birte
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Journal of Artificial Intelligence Research, 39 :429-481
2010
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Journal of Artificial Intelligence Research, 39 :429-481
2010
| DOI: | |
| Weblink: | |
| Datei: | /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
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: | |
| Weblink: | |
| Datei: | /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
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: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlHM10a.pdf |