Birte Glimm

Orcid: 0000-0002-6331-4176

Affiliations:
  • University of Ulm, Germany


According to our database1, Birte Glimm authored at least 104 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282).
Dagstuhl Manifestos, 2024

2023
Current and Future Challenges in Knowledge Representation and Reasoning.
CoRR, 2023

Challenges on Deriving Planning Problems from Ontologies.
Proceedings of the 1st International Planning and Ontology Workshop co-located with The 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023

A Comparative Study of Stream Reasoning Engines.
Proceedings of the Semantic Web - 20th International Conference, 2023

Fully Dynamic Materialization Maintenance.
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282).
Dagstuhl Reports, July, 2022

Computing Concept Referring Expressions for Queries on Horn ALC Ontologies.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Computing Concept Referring Expressions with Standard OWL Reasoners.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Concept Abduction for Description Logics.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

SAT-Based Axiom Pinpointing Revisited.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life.
Künstliche Intell., 2021

Query Answering and Scaling Extensions of Konclude.
Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021) co-located with the 20th International Semantic Web Conference (ISWC 2021), 2021

HDT Bitmap Triple Indices for Efficient RDF Data Exploration.
Proceedings of the Semantic Web - 18th International Conference, 2021

Parallelised ABox Reasoning and Query Answering with Expressive Description Logics.
Proceedings of the Semantic Web - 18th International Conference, 2021

Ontology-Based Map Data Quality Assurance.
Proceedings of the Semantic Web - 18th International Conference, 2021

2020
A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving.
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

A Knowledge Architecture Layer for Map Data in Autonomous Vehicles.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.
Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020

Ontology-based Processing of Dynamic Maps in Automated Driving.
Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020

Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects.
AI Commun., 2019

Absorption-Based Query Answering for Expressive Description Logics.
Proceedings of the Semantic Web - ISWC 2019, 2019

Classical Algorithms for Reasoning and Explanation in Description Logics.
Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

Absorption-Based Query Entailment Checking for Expressive Description Logics.
Proceedings of the 32nd International Workshop on Description Logics, 2019

An Ontological Model for Map Data in Automotive Systems.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018
Parallel tractability of ontology materialization: Technique and practice.
J. Web Semant., 2018

Evaluating Knowledge-Based Assistance for DIY.
Proceedings of the Mensch und Computer 2018, 2018

A Multimodal Dialogue Framework for Cloud-Based Companion Systems.
Proceedings of the 9th International Workshop on Spoken Dialogue System Technology, 2018

Embracing Change by Abstraction Materialization Maintenance for Large ABoxes.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Instructing Novice Users on How to Use Tools in DIY Projects.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process.
Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

The OWL Reasoner Evaluation (ORE) 2015 Competition Report.
J. Autom. Reason., 2017

Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems.
Proceedings of the Knowledge Engineering and Semantic Web - 8th International Conference, 2017

QSMat: Query-Based Materialization for Efficient RDF Stream Processing.
Proceedings of the Knowledge Engineering and Semantic Web - 8th International Conference, 2017

Testing the Adequacy of Automated Explanations of EL Subsumptions.
Proceedings of the 30th International Workshop on Description Logics, 2017

Incremental Materialization Update via Abstraction Refinement.
Proceedings of the 30th International Workshop on Description Logics, 2017

A paradigm for coupling procedural and conceptual knowledge in companion systems.
Proceedings of the International Conference on Companion Technology, 2017

Sloth - The interactive workout planner.
Proceedings of the International Conference on Companion Technology, 2017

Ontology Materialization by Abstraction Refinement in Horn SHOIF.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
15 Years of Semantic Web: An Incomplete Survey.
Künstliche Intell., 2016

Special Issue on Semantic Web.
Künstliche Intell., 2016

Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford.
Künstliche Intell., 2016

Semantic exploitation of implicit patent information.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

The OWL Reasoner Evaluation (ORE) 2015 Resources.
Proceedings of the Semantic Web - ISWC 2016, 2016

Scalable Reasoning by Abstraction Beyond DL-Lite.
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Exploring Parallel Tractability of Ontology Materialization.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures.
J. Artif. Intell. Res., 2015

On maintaining semantic networks: challenges, algorithms, use cases.
Int. J. Web Inf. Syst., 2015

Ontology-supported Exploratory Search for Physical Training Exercises.
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Completion Graph Caching for Expressive Description Logics.
Proceedings of the 28th International Workshop on Description Logics, 2015

Integrating Ontologies and Planning for Cognitive Systems.
Proceedings of the 28th International Workshop on Description Logics, 2015

Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning (Poster).
Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning.
Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

Lower and Upper Bounds for SPARQL Queries over OWL Ontologies.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Konclude: System description.
J. Web Semant., 2014

Reasoning with Nominal Schemas through Absorption.
J. Autom. Reason., 2014

HermiT: An OWL 2 Reasoner.
J. Autom. Reason., 2014

Abstraction Refinement for Ontology Materialization.
Proceedings of the Semantic Web - ISWC 2014, 2014

OWL Query Answering Based on Query Extension.
Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

Maintaining Semantic Networks: Challenges and Algorithms.
Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 2014

Optimised Absorption for Expressive Description Logics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013
Optimizing SPARQL Query Answering over OWL Ontologies.
J. Artif. Intell. Res., 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.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013

The Energy Management Adviser at EDF.
Proceedings of the Semantic Web - ISWC 2013, 2013

OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report.
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Nominal Schema Absorption.
Proceedings of the IJCAI 2013, 2013

Extending Absorption to Nominal Schemas.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Towards Explicative Inference for OWL.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Using the TBox to Optimise SPARQL Queries.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Interactive ontology revision.
J. Web Semant., 2012

A novel approach to ontology classification.
J. Web Semant., 2012

OWL: Yet to arrive on the Web of Data?
Proceedings of the WWW2012 Workshop on Linked Data on the Web, 2012

Hitting the Sweetspot: Economic Rewriting of Knowledge Bases.
Proceedings of the Semantic Web - ISWC 2012, 2012

Cost Based Query Ordering over OWL Ontologies.
Proceedings of the Semantic Web - ISWC 2012, 2012

Extended Caching and Backjumping for Expressive Description Logics.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Extended Caching, Backjumping and Merging for Expressive Description Logics.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011
Wheat and Chaff - Practically Feasible Interactive Ontology Revision.
Proceedings of the Semantic Web - ISWC 2011, 2011

Using SPARQL with RDFS and OWL Entailment.
Proceedings of the Reasoning Web. Semantic Technologies for the Web of Data, 2011

Answering Queries over OWL Ontologies with SPARQL.
Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), 2011

Reasoning-Supported Interactive Revision of Knowledge Bases.
Proceedings of the IJCAI 2011, 2011

SPARQL Query Answering over OWL Ontologies.
Proceedings of the Semantic Web: Research and Applications, 2011

Query Answering over SROIQ Knowledge Bases with SPARQL.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Status QIO: An Update.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
J. Artif. Intell. Res., 2010

Integrated Metamodeling and Diagnosis in OWL 2.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

SPARQL beyond Subgraph Matching.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Optimising Ontology Classification.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Status QIO: Conjunctive Query Entailment Is Decidable.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Optimized DL Reasoning via Core Blocking.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Optimized Description Logic Reasoning via Core Blocking.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
A Syntax for Rules in OWL 2.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Conjunctive Query Entailment: Decidable in Spite of O, I, and Q.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Conjunctive Query Answering for the Description Logic SHIQ.
J. Artif. Intell. Res., 2008

Role Conjunctions in Expressive Description Logics.
Proceedings of the Logic for Programming, 2008

Unions of Conjunctive Queries in SHOQ.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Conjunctive Query Entailment for SHOQ.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Hybrid Logics and Ontology Languages.
Proceedings of the International Workshop on Hybrid Logic, 2006

Conjunctive Query Answering for Description Logics with Transitive Roles.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005
Handling Cyclic Conjunctive Queries.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005


  Loading...