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
2019
80.
Suryawanshi,
Yogita;
Qiu,
Haonan;
Ayara,
Adel;
Glimm,
Birte
An Ontological Model for Map Data in Automotive Systems
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE 2019), Seite 140--147
Herausgeber: IEEE
2019
An Ontological Model for Map Data in Automotive Systems
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE 2019), Seite 140--147
Herausgeber: IEEE
2019
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/SQAG19a.pdf |
79.
Glimm,
Birte;
Kazakov,
Yevgeny
Classical Algorithms for Reasoning and Explanation in Description Logics
In Markus Kr枚tzsch and Daria Stepanova, Editor, Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School Band 11810 aus Lecture Notes in Computer Science, Seite 1-64
Herausgeber: Springer
2019
Classical Algorithms for Reasoning and Explanation in Description Logics
In Markus Kr枚tzsch and Daria Stepanova, Editor, Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School Band 11810 aus Lecture Notes in Computer Science, Seite 1-64
Herausgeber: Springer
2019
| DOI: | |
| Weblink: | https://doi.org/10.1007/978-3-030-31423-1\_1 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/GliKaz19Classical.pdf |
2018
78.
Kraus,
Matthias;
Behnke,
Gregor;
Bercher,
Pascal;
Schiller,
Marvin R. G.;
Biundo,
Susanne;
Glimm,
Birte;
Minker,
Wolfgang
A Multimodal Dialogue Framework for Cloud-Based Companion Systems
Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018)
2018
A Multimodal Dialogue Framework for Cloud-Based Companion Systems
Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018)
2018
| Datei: |  /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Kraus2018CompanionCloudDemo.pdf |
77.
Perleth,
Tanja;
Schiller,
Marvin R. G.;
Glimm,
Birte
Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations
Proceedings of DL 2018, CEUR Workshop Proceedings Vol. 2211
2018
Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations
Proceedings of DL 2018, CEUR Workshop Proceedings Vol. 2211
2018
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/PerlethSchillerGlimmDL2018.pdf |
76.
Brenner,
Markus;
Glimm,
Birte
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018)
Herausgeber: AAAI Press
2018
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018)
Herausgeber: AAAI Press
2018
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/BrGl18a.pdf |
75.
Schiller,
Marvin R. G.;
Behnke,
Gregor;
Bercher,
Pascal;
Kraus,
Matthias;
Dorna,
Michael;
Richter,
Felix;
Biundo,
Susanne;
Glimm,
Birte;
Minker,
Wolfgang
Evaluating Knowledge-Based Assistance for DIY
Proceedings of MCI Workshop "Digital Companion", Seite 925--930
2018
Evaluating Knowledge-Based Assistance for DIY
Proceedings of MCI Workshop "Digital Companion", Seite 925--930
2018
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/MCI-WS19-schillerEtAl2018.pdf |
74.
Behnke,
Gregor;
Schiller,
Marvin R. G.;
Kraus,
Matthias;
Bercher,
Pascal;
Schmautz,
Mario;
Dorna,
Michael;
Minker,
Wolfgang;
Glimm,
Birte;
Biundo,
Susanne
Instructing Novice Users on How to Use Tools in DIY Projects
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Seite 5805--5807
Herausgeber: IJCAI
2018
Instructing Novice Users on How to Use Tools in DIY Projects
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Seite 5805--5807
Herausgeber: IJCAI
2018
| DOI: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018DIY.pdf |
2017
73.
Schiller,
Marvin R. G.;
Behnke,
Gregor;
Schmautz,
Mario;
Bercher,
Pascal;
Kraus,
Matthias;
Dorna,
Michael;
Minker,
Wolfgang;
Glimm,
Birte;
Biundo,
Susanne
A Paradigm for Coupling Procedural and Conceptual Knowledge in Companion Systems
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Herausgeber: IEEE
2017
A Paradigm for Coupling Procedural and Conceptual Knowledge in Companion Systems
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Herausgeber: IEEE
2017
| DOI: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/SBSBKDMGB-ICCT2017.pdf |
72.
Brenner,
Markus;
Glimm,
Birte
Incremental Materialization Update via Abstraction Refinement
, Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2017
Incremental Materialization Update via Abstraction Refinement
, Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2017
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlBr17a.pdf |
71.
Ulmschneider,
Klaus;
Glimm,
Birte
Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems
In Rozewski, Przemyslaw and Lange, Christoph, Editor, Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) aus Communications in Computer and Information Science (CCIS), Seite 211--226
Herausgeber: Springer, Berlin, Germany
2017
Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems
In Rozewski, Przemyslaw and Lange, Christoph, Editor, Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) aus Communications in Computer and Information Science (CCIS), Seite 211--226
Herausgeber: Springer, Berlin, Germany
2017
| DOI: | |
| ISBN: | 978-3-319-69547-1 |
| Weblink: | |
| Datei: | |
70.
Glimm,
Birte;
Kazakov,
Yevgeny;
Tran,
Trung-Kien
Ontology Materialization by Abstraction Refinement in Horn SHOIF
Proceedings of the 31st AAAI Conference on Artificial Intelligence, Seite 1114--1120
31st AAAI Conference on Artificial Intelligence
San Francisco, California, USA
February 4-9, 2017
In Satinder P. Singh and Shaul Markovitch, Editor
Herausgeber: AAAI Press
2017
Ontology Materialization by Abstraction Refinement in Horn SHOIF
Proceedings of the 31st AAAI Conference on Artificial Intelligence, Seite 1114--1120
31st AAAI Conference on Artificial Intelligence
San Francisco, California, USA
February 4-9, 2017
In Satinder P. Singh and Shaul Markovitch, Editor
Herausgeber: AAAI Press
2017
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17a.pdf |
69.
Mathieu,
Christian;
Klusch,
Matthias;
Glimm,
Birte
QSMat: Query-Based Materialization for Efficient RDF Stream Processing
, Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) Band 786 aus Communications in Computer and Information Science, Seite 159-174
Herausgeber: Springer-Verlag
2017
QSMat: Query-Based Materialization for Efficient RDF Stream Processing
, Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) Band 786 aus Communications in Computer and Information Science, Seite 159-174
Herausgeber: Springer-Verlag
2017
| DOI: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/MaKG17a.pdf |
68.
Glimm,
Birte;
Kazakov,
Yevgeny;
Tran,
Trung-Kien
Scalable Reasoning by Abstraction in DL-Lite
, Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2017
Scalable Reasoning by Abstraction in DL-Lite
, Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2017
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17b.pdf |
67.
Behnke,
Gregor;
Nielsen,
Florian;
Schiller,
Marvin R. G.;
Bercher,
Pascal;
Kraus,
Matthias;
Minker,
Wolfgang;
Biundo,
Susanne;
Glimm,
Birte
SLOTH - the Interactive Workout Planner
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Herausgeber: IEEE
2017
SLOTH - the Interactive Workout Planner
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Herausgeber: IEEE
2017
| DOI: | |
| Weblink: | |
| Datei: | |
66.
Glimm,
Birte;
Schiller,
Marvin R. G.;
Schiller,
Florian
Testing the Adequacy of Automated Explanations of EL Subsumptions
, Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2017
Testing the Adequacy of Automated Explanations of EL Subsumptions
, Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org
2017
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/ScSG17a.pdf |
65.
Parsia,
Bijan;
Matentzoglu,
Nicolas;
Goncalves,
Rafael S.;
Glimm,
Birte;
Steigmiller,
Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
Journal of Automated Reasoning (JAR), 59 (4) :455-482
2017
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
Journal of Automated Reasoning (JAR), 59 (4) :455-482
2017
| DOI: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/PMGG17a.pdf |
64.
Behnke,
Gregor;
Nielsen,
Florian;
Schiller,
Marvin R. G.;
Ponomaryov,
Denis;
Bercher,
Pascal;
Glimm,
Birte;
Minker,
Wolfgang;
Biundo,
Susanne
To Plan for the User Is to Plan With the User -- Integrating User Interaction Into the Planning Process
In Susanne Biundo and Andreas Wendemuth, Editor aus Cognitive Technologies
Kapitel 7, Seite 123--144
Herausgeber: Springer
2017
123--144
To Plan for the User Is to Plan With the User -- Integrating User Interaction Into the Planning Process
In Susanne Biundo and Andreas Wendemuth, Editor aus Cognitive Technologies
Kapitel 7, Seite 123--144
Herausgeber: Springer
2017
123--144
| DOI: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017CompBookMIP.pdf |
2016
63.
Glimm,
Birte;
Stuckenschmidt,
Heiner
15聽Years of Semantic Web: An Incomplete Survey
KI - K眉nstliche Intelligenz, 30 (2) :117--130
2016
ISSN: 0933-1875
15聽Years of Semantic Web: An Incomplete Survey
KI - K眉nstliche Intelligenz, 30 (2) :117--130
2016
ISSN: 0933-1875
| DOI: | |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016a.pdf |
62.
Zhou,
Zhangquan;
Qi,
Guilin;
Glimm,
Birte
Exploring Parallel Tractability of Ontology Materialization
, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) Band 285 aus Frontiers in Artificial Intelligence and Applications, Seite 73-81
Herausgeber: IOS Press
2016
Exploring Parallel Tractability of Ontology Materialization
, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) Band 285 aus Frontiers in Artificial Intelligence and Applications, Seite 73-81
Herausgeber: IOS Press
2016
| DOI: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf |
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: | |
| Weblink: | |
| Datei: | /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: | |
| Datei: | /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: | |
| Datei: | /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: | |
| ISBN: | 9781509042395 |
| Weblink: | |
| Datei: | /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: | |
| Weblink: | |
| Datei: | /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: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/PMGG16a.pdf |