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