Birte Glimm

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 59

Top Venues

Publications

James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos 10 (1) (2024)
Nathan Gruber, Birte Glimm
A Comparative Study of Stream Reasoning Engines. ESWC (2023)
Moritz Illich, Birte Glimm
Fully Dynamic Materialization Maintenance. Description Logics (2023)
Milene Santos Teixeira, Michael Welt, Raphael Chis, Birte Glimm
Challenges on Deriving Planning Problems from Ontologies. PLATO@ICAPS (2023)
James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning. CoRR (2023)
Moritz Illich, Birte Glimm
Computing Concept Referring Expressions with Standard OWL Reasoners. Description Logics (2022)
Moritz Illich, Birte Glimm
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies. IJCAI (2022)
Birte Glimm, Yevgeny Kazakov
SAT-Based Axiom Pinpointing Revisited. Description Logics (2022)
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports 12 (7) (2022)
Birte Glimm, Yevgeny Kazakov, Michael Welt
Concept Abduction for Description Logics. Description Logics (2022)
Andreas Steigmiller, Birte Glimm
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics. ESWC (2021)
Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. Künstliche Intell. 35 (3) (2021)
Maximilian Wenzel, Thorsten Liebig, Birte Glimm
HDT Bitmap Triple Indices for Efficient RDF Data Exploration. ESWC (2021)
Haonan Qiu, Adel Ayara, Birte Glimm
Ontology-Based Map Data Quality Assurance. ESWC (2021)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Query Answering and Scaling Extensions of Konclude. SemREC@ISWC (2021)
Andreas Steigmiller, Birte Glimm
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract). Description Logics (2020)
Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin R. G. Schiller, Kristof Mickeleit, Timo Häge, Michael Dorna, Michael Dambier, Dietrich Manstetten, Wolfgang Minker, Birte Glimm, Susanne Biundo
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS (2020)
Haonan Qiu, Adel Ayara, Birte Glimm
Ontology-based Processing of Dynamic Maps in Automated Driving. KEOD (2020)
Haonan Qiu, Adel Ayara, Birte Glimm
A Knowledge Architecture Layer for Map Data in Autonomous Vehicles. ITSC (2020)
Haonan Qiu, Adel Ayara, Birte Glimm
A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving. ISWC (Demos/Industry) (2020)
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI (2020)
Birte Glimm, Yevgeny Kazakov
Classical Algorithms for Reasoning and Explanation in Description Logics. Reasoning Web (2019)
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. AI Commun. 32 (1) (2019)
Andreas Steigmiller, Birte Glimm
Absorption-Based Query Answering for Expressive Description Logics. ISWC (1) (2019)
Andreas Steigmiller, Birte Glimm
Absorption-Based Query Entailment Checking for Expressive Description Logics. Description Logics (2019)
Yogita Suryawanshi, Haonan Qiu, Adel Ayara, Birte Glimm
An Ontological Model for Map Data in Automotive Systems. AIKE (2019)
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker
A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS (2018)
Markus Brenner, Birte Glimm
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes. IJCAI (2018)
Zhangquan Zhou, Guilin Qi, Birte Glimm
Parallel tractability of ontology materialization: Technique and practice. J. Web Semant. (2018)
Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker
Evaluating Knowledge-Based Assistance for DIY. Mensch & Computer Workshopband (2018)
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI (2018)
Tanja Perleth, Marvin R. G. Schiller, Birte Glimm
Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations. Description Logics (2018)
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. J. Autom. Reason. 59 (4) (2017)
Markus Brenner, Birte Glimm
Incremental Materialization Update via Abstraction Refinement. Description Logics (2017)
Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT (2017)
Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI (2017)
Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo
Sloth - The interactive workout planner. ICCT (2017)
Klaus Ulmschneider, Birte Glimm
Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems. KESW (2017)
Christian Mathieu, Matthias Klusch, Birte Glimm
QSMat: Query-Based Materialization for Efficient RDF Stream Processing. KESW (2017)
Marvin R. G. Schiller, Florian Schiller, Birte Glimm
Testing the Adequacy of Automated Explanations of EL Subsumptions. Description Logics (2017)
Birte Glimm, Heiner Stuckenschmidt
Special Issue on Semantic Web. Künstliche Intell. 30 (2) (2016)
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
The OWL Reasoner Evaluation (ORE) 2015 Resources. ISWC (2) (2016)
Birte Glimm, Heiner Stuckenschmidt
15 Years of Semantic Web: An Incomplete Survey. Künstliche Intell. 30 (2) (2016)
Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
Scalable Reasoning by Abstraction Beyond DL-Lite. RR (2016)
Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
Ontology Materialization by Abstraction Refinement in Horn SHOIF. Description Logics (2016)
Birte Glimm
Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford. Künstliche Intell. 30 (2) (2016)
Klaus Ulmschneider, Birte Glimm
Semantic exploitation of implicit patent information. SSCI (2016)
Zhangquan Zhou, Guilin Qi, Birte Glimm
Exploring Parallel Tractability of Ontology Materialization. ECAI (2016)
Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller
Integrating Ontologies and Planning for Cognitive Systems. Description Logics (2015)
Andreas Steigmiller, Birte Glimm
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. J. Artif. Intell. Res. 54 (2015)
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. AAAI (2015)
Markus Brenner, Birte Glimm
Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning (Poster). ISCT (2015)
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. SSWS@ISWC (2015)
Klaus Ulmschneider, Bernd Michelberger, Birte Glimm, Bela Mutschler, Manfred Reichert
On maintaining semantic networks: challenges, algorithms, use cases. Int. J. Web Inf. Syst. 11 (3) (2015)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Completion Graph Caching for Expressive Description Logics. Description Logics (2015)
Michael Kotzyba, Denis K. Ponomaryov, Thomas Low, Marcus Thiel, Birte Glimm, Andreas Nürnberger
Ontology-supported Exploratory Search for Physical Training Exercises. ISWC (Posters & Demos) (2015)
Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT (2015)
Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI (2015)
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. Description Logics (2015)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. IJCAR (2014)
Andreas Steigmiller, Thorsten Liebig, Birte Glimm
Konclude: System description. J. Web Semant. (2014)
Bernd Michelberger, Klaus Ulmschneider, Birte Glimm, Bela Mutschler, Manfred Reichert
Maintaining Semantic Networks: Challenges and Algorithms. iiWAS (2014)
Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang
HermiT: An OWL 2 Reasoner. J. Autom. Reason. 53 (3) (2014)
Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! CoRR (2014)
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
OWL Query Answering Based on Query Extension. OWLED (2014)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Optimised Absorption for Expressive Description Logics. Description Logics (2014)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Reasoning with Nominal Schemas through Absorption. J. Autom. Reason. 53 (4) (2014)
Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
Abstraction Refinement for Ontology Materialization. ISWC (2) (2014)
Ilianna Kollia, Birte Glimm
Optimizing SPARQL Query Answering over OWL Ontologies. CoRR (2014)
Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
Abstraction Refinement for Ontology Materialization. Description Logics (2014)
Marvin R. G. Schiller, Birte Glimm
Towards Explicative Inference for OWL. Description Logics (2013)
Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre
The Energy Management Adviser at EDF. ISWC (2) (2013)
Alexey Cheptsov, Axel Tenschert, Paul Schmidt, Birte Glimm, Mauricio Matthesius, Thorsten Liebig
Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing. WISE Workshops (2013)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Nominal Schema Absorption. IJCAI (2013)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Extending Absorption to Nominal Schemas. Description Logics (2013)
Rafael S. Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov
OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report. ORE (2013)
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
Using the TBox to Optimise SPARQL Queries. Description Logics (2013)
Ilianna Kollia, Birte Glimm
Optimizing SPARQL Query Answering over OWL Ontologies. J. Artif. Intell. Res. 48 (2013)
Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
OWL: Yet to arrive on the Web of Data? CoRR (2012)
Andreas Steigmiller, Thorsten Liebig, Birte Glimm
Extended Caching and Backjumping for Expressive Description Logics. Description Logics (2012)
Andreas Steigmiller, Thorsten Liebig, Birte Glimm
Extended Caching, Backjumping and Merging for Expressive Description Logics. IJCAR (2012)
Ilianna Kollia, Birte Glimm
Cost Based Query Ordering over OWL Ontologies. Description Logics (2012)
Nadeschda Nikitina, Birte Glimm
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases. ISWC (1) (2012)
Birte Glimm, Ian Horrocks, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos
A novel approach to ontology classification. J. Web Semant. 14 (2012)
Ilianna Kollia, Birte Glimm
Cost Based Query Ordering over OWL Ontologies. ISWC (1) (2012)
Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
OWL: Yet to arrive on the Web of Data? LDOW (2012)
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Interactive ontology revision. J. Web Semant. 12 (2012)
Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph
Wheat and Chaff - Practically Feasible Interactive Ontology Revision. ISWC (1) (2011)
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases. IJCAI (2011)
Birte Glimm, Yevgeny Kazakov, Carsten Lutz
Status QIO: An Update. Description Logics (2011)
Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
Conjunctive Query Answering for the Description Logic SHIQ CoRR (2011)
Ilianna Kollia, Birte Glimm, Ian Horrocks
Query Answering over SROIQ Knowledge Bases with SPARQL. Description Logics (2011)
Ilianna Kollia, Birte Glimm, Ian Horrocks
SPARQL Query Answering over OWL Ontologies. ESWC (1) (2011)
Birte Glimm
Using SPARQL with RDFS and OWL Entailment. Reasoning Web (2011)
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases. Description Logics (2011)
Ilianna Kollia, Birte Glimm, Ian Horrocks
Answering Queries over OWL Ontologies with SPARQL. OWLED (2011)
Birte Glimm, Ian Horrocks, Boris Motik
Optimized DL Reasoning via Core Blocking. Description Logics (2010)
Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! J. Artif. Intell. Res. 39 (2010)
Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos
Optimising Ontology Classification. ISWC (1) (2010)
Birte Glimm, Markus Krötzsch
SPARQL beyond Subgraph Matching. ISWC (1) (2010)

Birte Glimm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Birte Glimm