Glimm, Birte

13 publications

IJCAI 2022 Computing Concept Referring Expressions for Queries on Horn ALC Ontologies Moritz Illich, Birte Glimm

IJCAI 2018 Embracing Change by Abstraction Materialization Maintenance for Large ABoxes Markus Brenner, Birte Glimm

IJCAI 2018 Instructing Novice Users on How to Use Tools in DIY Projects Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo

AAAI 2017 Ontology Materialization by Abstraction Refinement in Horn SHOIF Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran

IJCAI 2015 Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo

AAAI 2015 Lower and Upper Bounds for SPARQL Queries over OWL Ontologies Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou

JAIR 2015 Pay-as-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures Andreas Steigmiller, Birte Glimm

IJCAI 2013 Nominal Schema Absorption Andreas Steigmiller, Birte Glimm, Thorsten Liebig

JAIR 2013 Optimizing SPARQL Query Answering over OWL Ontologies Ilianna Kollia, Birte Glimm

IJCAI 2011 Reasoning-Supported Interactive Revision of Knowledge Bases Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm

JAIR 2010 Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity Is Your Friend! Sebastian Rudolph, Birte Glimm

JAIR 2008 Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler

IJCAI 2007 Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler