Birte Glimm - RankMe

130 papers A* 12A 5B 6C 2Misc 1Journal 26Unranked 68

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Automatability and validity of methods for the quantification of intra-/Intermuscular adipose tissue in conventional MRI: a systematic review. BMC Medical Imaging Alicia Pirwass, Birte Glimm, Michael Munz, Hans-Joachim Wilke
2025	—	`conf`	Backward/Forward with Marking for Update Streams. DL Moritz Illich, Birte Glimm
2025	A	`conf`	Calculating Optimal Corrections for Unsolvable Planning Problems. ECAI Michael Welt, Alexander Lodemann, Conny Olz, Pascal Bercher, Birte Glimm
2025	—	`conf`	Delete/Rederive with Marking for Update Streams. ESWC (1) Moritz Illich, Birte Glimm
2025	J	`jnl`	Teaching Software Quality with Adaptive Source Code Feedback. Softwaretechnik-Trends Rahel Sundermann, Sebastian Krieter, Birte Glimm, Thomas Thüm
2024	J	`jnl`	Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter
2023	B	`conf`	A Comparative Study of Stream Reasoning Engines. ESWC Nathan Gruber, Birte Glimm
2023	—	`conf`	Challenges on Deriving Planning Problems from Ontologies. PLATO@ICAPS Milene Santos Teixeira, Michael Welt, Raphael Chis, Birte Glimm
2023	J	`jnl`	Current and Future Challenges in Knowledge Representation and Reasoning. CoRR James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter
2023	—	`conf`	Fully Dynamic Materialization Maintenance. Description Logics Moritz Illich, Birte Glimm
2022	A*	`conf`	Computing Concept Referring Expressions for Queries on Horn ALC Ontologies. IJCAI Moritz Illich, Birte Glimm
2022	—	`conf`	Computing Concept Referring Expressions with Standard OWL Reasoners. Description Logics Moritz Illich, Birte Glimm
2022	—	`conf`	Concept Abduction for Description Logics. Description Logics Birte Glimm, Yevgeny Kazakov, Michael Welt
2022	J	`jnl`	Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter
2022	—	`conf`	SAT-Based Axiom Pinpointing Revisited. Description Logics Birte Glimm, Yevgeny Kazakov
2021	J	`jnl`	Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. Künstliche Intell. Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2021	B	`conf`	HDT Bitmap Triple Indices for Efficient RDF Data Exploration. ESWC Maximilian Wenzel, Thorsten Liebig, Birte Glimm
2021	B	`conf`	Ontology-Based Map Data Quality Assurance. ESWC Haonan Qiu, Adel Ayara, Birte Glimm
2021	B	`conf`	Parallelised ABox Reasoning and Query Answering with Expressive Description Logics. ESWC Andreas Steigmiller, Birte Glimm
2021	—	`conf`	Query Answering and Scaling Extensions of Konclude. SemREC@ISWC Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2020	B	`conf`	"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker
2020	—	`conf`	A Knowledge Architecture Layer for Map Data in Autonomous Vehicles. ITSC Haonan Qiu, Adel Ayara, Birte Glimm
2020	—	`conf`	A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving. ISWC (Demos/Industry) Haonan Qiu, Adel Ayara, Birte Glimm
2020	A*	`conf`	New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS 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
2020	C	`conf`	Ontology-based Processing of Dynamic Maps in Automated Driving. KEOD Haonan Qiu, Adel Ayara, Birte Glimm
2020	—	`conf`	Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract). Description Logics Andreas Steigmiller, Birte Glimm
2019	—	`conf`	Absorption-Based Query Answering for Expressive Description Logics. ISWC (1) Andreas Steigmiller, Birte Glimm
2019	—	`conf`	Absorption-Based Query Entailment Checking for Expressive Description Logics. Description Logics Andreas Steigmiller, Birte Glimm
2019	J	`jnl`	Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. AI Commun. Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo
2019	—	`conf`	An Ontological Model for Map Data in Automotive Systems. AIKE Yogita Suryawanshi, Haonan Qiu, Adel Ayara, Birte Glimm
2019	—	`conf`	Classical Algorithms for Reasoning and Explanation in Description Logics. RW Birte Glimm, Yevgeny Kazakov
2018	—	`conf`	A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker
2018	—	`conf`	Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations. Description Logics Tanja Perleth, Marvin R. G. Schiller, Birte Glimm
2018	A*	`conf`	Embracing Change by Abstraction Materialization Maintenance for Large ABoxes. IJCAI Markus Brenner, Birte Glimm
2018	—	`conf`	Evaluating Knowledge-Based Assistance for DIY. MuC (Workshopband) Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker
2018	A*	`conf`	Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2018	J	`jnl`	Parallel tractability of ontology materialization: Technique and practice. J. Web Semant. Zhangquan Zhou, Guilin Qi, Birte Glimm
2017	—	`conf`	A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2017	—	`conf`	Incremental Materialization Update via Abstraction Refinement. Description Logics Markus Brenner, Birte Glimm
2017	—	`conf`	Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems. KESW Klaus Ulmschneider, Birte Glimm
2017	A*	`conf`	Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
2017	—	`ed.`	Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Description Logics Alessandro Artale, Birte Glimm, Roman Kontchakov
2017	—	`conf`	QSMat: Query-Based Materialization for Efficient RDF Stream Processing. KESW Christian Mathieu, Matthias Klusch, Birte Glimm
2017	—	`ed.`	Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures RW Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
2017	—	`conf`	Sloth - The interactive workout planner. ICCT Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo
2017	—	`conf`	Testing the Adequacy of Automated Explanations of EL Subsumptions. Description Logics Marvin R. G. Schiller, Florian Schiller, Birte Glimm
2017	J	`jnl`	The OWL Reasoner Evaluation (ORE) 2015 Competition Report. J. Autom. Reason. Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
2017	—	`ch.`	To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. Companion Technology Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Denis K. Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker, Susanne Biundo
2016	J	`jnl`	15 Years of Semantic Web: An Incomplete Survey. Künstliche Intell. Birte Glimm, Heiner Stuckenschmidt
2016	A	`conf`	Exploring Parallel Tractability of Ontology Materialization. ECAI Zhangquan Zhou, Guilin Qi, Birte Glimm
2016	J	`jnl`	Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford. Künstliche Intell. Birte Glimm
2016	—	`conf`	Ontology Materialization by Abstraction Refinement in Horn SHOIF. Description Logics Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
2016	—	`conf`	Scalable Reasoning by Abstraction Beyond DL-Lite. RR Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
2016	—	`conf`	Semantic exploitation of implicit patent information. SSCI Klaus Ulmschneider, Birte Glimm
2016	J	`jnl`	Special Issue on Semantic Web. Künstliche Intell. Birte Glimm, Heiner Stuckenschmidt
2016	—	`conf`	The OWL Reasoner Evaluation (ORE) 2015 Resources. ISWC (2) Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
2015	—	`conf`	A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo
2015	—	`conf`	Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning (Poster). ISCT Markus Brenner, Birte Glimm
2015	A*	`conf`	Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
2015	—	`conf`	Completion Graph Caching for Expressive Description Logics. Description Logics Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2015	—	`ed.`	Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015. ORE Michel Dumontier, Birte Glimm, Rafael S. Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos B. Stamou, Giorgos Stoilos
2015	—	`conf`	Integrating Ontologies and Planning for Cognitive Systems. Description Logics Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller
2015	A*	`conf`	Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. AAAI Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
2015	—	`conf`	Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. Description Logics Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
2015	J	`jnl`	On maintaining semantic networks: challenges, algorithms, use cases. Int. J. Web Inf. Syst. Klaus Ulmschneider, Bernd Michelberger, Birte Glimm, Bela Mutschler, Manfred Reichert
2015	—	`conf`	Ontology-supported Exploratory Search for Physical Training Exercises. ISWC (Posters & Demos) Michael Kotzyba, Denis K. Ponomaryov, Thomas Low, Marcus Thiel, Birte Glimm, Andreas Nürnberger
2015	J	`jnl`	Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. J. Artif. Intell. Res. Andreas Steigmiller, Birte Glimm
2015	—	`conf`	The OWL Reasoner Evaluation (ORE) 2015 Competition Report. SSWS@ISWC Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
2014	—	`conf`	Abstraction Refinement for Ontology Materialization. Description Logics Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
2014	—	`conf`	Abstraction Refinement for Ontology Materialization. ISWC (2) Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
2014	A	`conf`	Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. IJCAR Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2014	J	`jnl`	HermiT: An OWL 2 Reasoner. J. Autom. Reason. Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang
2014	—	`ed.`	Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014. ORE Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
2014	J	`jnl`	Konclude: System description. J. Web Semant. Andreas Steigmiller, Thorsten Liebig, Birte Glimm
2014	C	`conf`	Maintaining Semantic Networks: Challenges and Algorithms. iiWAS Bernd Michelberger, Klaus Ulmschneider, Birte Glimm, Bela Mutschler, Manfred Reichert
2014	J	`jnl`	Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! CoRR Sebastian Rudolph, Birte Glimm
2014	—	`conf`	OWL Query Answering Based on Query Extension. OWLED Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
2014	—	`conf`	Optimised Absorption for Expressive Description Logics. Description Logics Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2014	J	`jnl`	Optimizing SPARQL Query Answering over OWL Ontologies. CoRR Ilianna Kollia, Birte Glimm
2014	J	`jnl`	Reasoning with Nominal Schemas through Absorption. J. Autom. Reason. Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2013	—	`conf`	Extending Absorption to Nominal Schemas. Description Logics Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2013	—	`ed.`	Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 Description Logics Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch
2013	—	`ed.`	Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013 ORE Samantha Bail, Birte Glimm, Rafael S. Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia
2013	—	`conf`	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 Alexey Cheptsov, Axel Tenschert, Paul Schmidt, Birte Glimm, Mauricio Matthesius, Thorsten Liebig
2013	A*	`conf`	Nominal Schema Absorption. IJCAI Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2013	—	`conf`	OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report. ORE Rafael S. Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov
2013	J	`jnl`	Optimizing SPARQL Query Answering over OWL Ontologies. J. Artif. Intell. Res. Ilianna Kollia, Birte Glimm
2013	—	`conf`	The Energy Management Adviser at EDF. ISWC (2) Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre
2013	—	`conf`	Towards Explicative Inference for OWL. Description Logics Marvin R. G. Schiller, Birte Glimm
2013	—	`conf`	Using the TBox to Optimise SPARQL Queries. Description Logics Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
2012	J	`jnl`	A novel approach to ontology classification. J. Web Semant. Birte Glimm, Ian Horrocks, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos
2012	—	`conf`	Cost Based Query Ordering over OWL Ontologies. Description Logics Ilianna Kollia, Birte Glimm
2012	—	`conf`	Cost Based Query Ordering over OWL Ontologies. ISWC (1) Ilianna Kollia, Birte Glimm
2012	—	`conf`	Extended Caching and Backjumping for Expressive Description Logics. Description Logics Andreas Steigmiller, Thorsten Liebig, Birte Glimm
2012	A	`conf`	Extended Caching, Backjumping and Merging for Expressive Description Logics. IJCAR Andreas Steigmiller, Thorsten Liebig, Birte Glimm
2012	—	`conf`	Hitting the Sweetspot: Economic Rewriting of Knowledge Bases. ISWC (1) Nadeschda Nikitina, Birte Glimm
2012	J	`jnl`	Interactive ontology revision. J. Web Semant. Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
2012	Misc	`ed.`	KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings KI Birte Glimm, Antonio Krüger
2012	—	`conf`	OWL: Yet to arrive on the Web of Data? LDOW Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
2012	J	`jnl`	OWL: Yet to arrive on the Web of Data? CoRR Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
2012	—	`ed.`	Proceedings of the ISWC 2012 Posters & Demonstrations Track, Boston, USA, November 11-15, 2012 ISWC (Posters & Demos) Birte Glimm, David Huynh
2011	—	`conf`	Answering Queries over OWL Ontologies with SPARQL. OWLED Ilianna Kollia, Birte Glimm, Ian Horrocks
2011	J	`jnl`	Conjunctive Query Answering for the Description Logic SHIQ CoRR Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2011	—	`conf`	Query Answering over SROIQ Knowledge Bases with SPARQL. Description Logics Ilianna Kollia, Birte Glimm, Ian Horrocks
2011	—	`conf`	Reasoning-Supported Interactive Revision of Knowledge Bases. Description Logics Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
2011	A*	`conf`	Reasoning-Supported Interactive Revision of Knowledge Bases. IJCAI Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
2011	—	`conf`	SPARQL Query Answering over OWL Ontologies. ESWC (1) Ilianna Kollia, Birte Glimm, Ian Horrocks
2011	—	`conf`	Status QIO: An Update. Description Logics Birte Glimm, Yevgeny Kazakov, Carsten Lutz
2011	—	`conf`	Using SPARQL with RDFS and OWL Entailment. Reasoning Web Birte Glimm
2011	—	`conf`	Wheat and Chaff - Practically Feasible Interactive Ontology Revision. ISWC (1) Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph
2010	—	`conf`	Integrated Metamodeling and Diagnosis in OWL 2. ISWC (1) Birte Glimm, Sebastian Rudolph, Johanna Völker
2010	J	`jnl`	Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! J. Artif. Intell. Res. Sebastian Rudolph, Birte Glimm
2010	—	`conf`	Optimising Ontology Classification. ISWC (1) Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos
2010	—	`conf`	Optimized DL Reasoning via Core Blocking. Description Logics Birte Glimm, Ian Horrocks, Boris Motik
2010	A	`conf`	Optimized Description Logic Reasoning via Core Blocking. IJCAR Birte Glimm, Ian Horrocks, Boris Motik
2010	—	`conf`	SPARQL beyond Subgraph Matching. ISWC (1) Birte Glimm, Markus Krötzsch
2010	A*	`conf`	Status QIO: Conjunctive Query Entailment Is Decidable. KR Birte Glimm, Sebastian Rudolph
2010	—	`ed.`	The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I ISWC (1) Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
2010	—	`ed.`	The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II ISWC (2) Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
2009	—	`conf`	A Syntax for Rules in OWL 2. OWLED Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider
2009	—	`conf`	Conjunctive Query Entailment: Decidable in Spite of O, I, and Q. Description Logics Birte Glimm, Sebastian Rudolph
2008	J	`jnl`	Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics Birte Glimm, Ian Horrocks, Ulrike Sattler
2008	B	`conf`	Role Conjunctions in Expressive Description Logics. LPAR Birte Glimm, Yevgeny Kazakov
2008	A*	`conf`	Unions of Conjunctive Queries in SHOQ. KR Birte Glimm, Ian Horrocks, Ulrike Sattler
2007	A*	`conf`	Conjunctive Query Answering for the Description Logic SHIQ. IJCAI Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2007	—	`conf`	Conjunctive Query Entailment for SHOQ. Description Logics Birte Glimm, Ian Horrocks, Ulrike Sattler
2006	—	`conf`	Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics Birte Glimm, Ian Horrocks, Ulrike Sattler
2006	—	`conf`	Hybrid Logics and Ontology Languages. HyLo@FLoC Ian Horrocks, Birte Glimm, Ulrike Sattler
2005	—	`conf`	Handling Cyclic Conjunctive Queries. Description Logics Birte Glimm, Ian Horrocks