Prof. Dr. Birte Glimm
Prof. Dr.&)uni-ulm.de
Raum: O27 - 450
Telefon: +49(0)731/50-24125
Fax: +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 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 gearbeitet, haupts盲chlich an der Entwicklung von Algorithmen zum automatischen Schlussfolgern in ausdrucksstarken Beschreibungslogiken. Au脽erdem habe ich dort an der Entwicklung des mitgearbeitet.
Meine Promotion habe ich in Manchester in der 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 Spezifikation, die im Rahmen der 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 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 , 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
- Mitglied des (Principles of Knowledge Representation and Reasoning, Incorporated) (2017-2021)
- Mitglied des (DL, 2010-2011, 2013-2016)
- Doctoral Consortium Co-Chair der 14th Conference on Principles of Knowledge Representation and Reasoning (KR) 2014
- General Chair des
- Program Chair der
- Program Chair des
- Satellite Events Chair der
- Poster & Demos Chair der
- Scientific Advisary Board ,
- Area Chair
- 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 Semantic Web und K眉nstliche Intelligenz
Vorlesungen
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
| 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 |
- 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
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: |  /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: | /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
| Weblink: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke15IJCAI-poster.pdf |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BPSB15a.pdf |
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: | /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: | /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: | /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: | /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: | |
| Weblink: |
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: | |
| Weblink: | |
| Datei: | /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: | /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: | |
| Datei: | /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
| DOI: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14b.pdf |
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
| DOI: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14a.pdf |
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: | |
| Weblink: | |
| Datei: | /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: | |
| Datei: | /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: | /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: | |
| Datei: | /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: | |
| Weblink: | |
| Datei: | /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: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KoGl13a.pdf |
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 |