| 2017 | SGAI | Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. | Mercedes Argello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler |
| 2013 | CIKM | The logical diversity of explanations in OWL ontologies. | Samantha Bail, Bijan Parsia, Ulrike Sattler |
| 2012 | EKAW | Declutter Your Justifications: Determining Similarity Between OWL Explanations. | Samantha Bail, Bijan Parsia, Ulrike Sattler |
| 2012 | KR | Justification Masking in Ontologies. | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
| 2011 | CaiSE | Mooop - A Hybrid Integration of OWL and Java. | Christoph Frenzel, Bijan Parsia, Ulrike Sattler, Bernhard Bauer |
| 2011 | CBMS | Analysing the evolution of the NCI Thesaurus. | Rafael S. Gonalves, Bijan Parsia, Ulrike Sattler |
| 2011 | CIKM | Categorising logical differences between OWL ontologies. | Rafael S. Gonalves, Bijan Parsia, Ulrike Sattler |
| 2011 | ICCS | Topicality in Logic-Based Ontologies. | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler |
| 2011 | IJCAI | The Modular Structure of an Ontology: Atomic Decomposition. | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider |
| 2009 | IJCAI | Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. | Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
| 2008 | KR | Unions of Conjunctive Queries in SHOQ. | Birte Glimm, Ian Horrocks, Ulrike Sattler |
| 2008 | KR | Representing Structured Objects using Description Graphs. | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
| 2008 | WWW | Structured objects in owl: representation and reasoning. | Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler |
| 2007 | IJCAI | Completing Description Logic Knowledge Bases Using Formal Concept Analysis. | Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler |
| 2007 | IJCAI | Conjunctive Query Answering for the Description Logic SHIQ. | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler |
| 2007 | IJCAI | A Logical Framework for Modularity of Ontologies. | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
| 2007 | LPAR | How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. | Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin |
| 2007 | WWW | Just the right amount: extracting modules from ontologies. | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
| 2007 | WWW | Bridging the gap between OWL and relational databases. | Boris Motik, Ian Horrocks, Ulrike Sattler |
| 2006 | AAAI | Deciding Semantic Matching of Stateless Services. | Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens |
| 2006 | KR | The Even More Irresistible SROIQ. | Ian Horrocks, Oliver Kutz, Ulrike Sattler |
| 2006 | LPAR | A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. | Boris Motik, Ulrike Sattler |
| 2005 | AAAI | Integrating Description Logics and Action Formalisms: First Results. | Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter |
| 2005 | IJCAI | A Tableaux Decision Procedure for SHOIQ. | Ian Horrocks, Ulrike Sattler |
| 2005 | IJCAI | Data Complexity of Reasoning in Very Expressive Description Logics. | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2004 | ECAI | Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2004 | KR | Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2004 | LPAR | A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2003 | CADE | A Translation of Looping Alternating Automata into Description Logics. | Jan Hladik, Ulrike Sattler |
| 2003 | CADE | The Complexity of Finite Model Reasoning in Description Logics. | Carsten Lutz, Ulrike Sattler, Lidia Tendera |
| 2003 | IJCAI | Decidability of SHIQ with Complex Role Inclusion Axioms. | Ian Horrocks, Ulrike Sattler |
| 2003 | IJCAI | Keys, Nominals, and Concrete Domains. | Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler |
| 2002 | CADE | The Complexity of the Graded µ-Calculus. | Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi |
| 2002 | CADE | BDD-Based Decision Procedures for K. | Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi |
| 2002 | ECAI | Optimised Reasoning for SHIQ. | Ian Horrocks, Ulrike Sattler |
| 2001 | CADE | The Hybrid µ-Calculus. | Ulrike Sattler, Moshe Y. Vardi |
| 2001 | CSL | Modal Logic and the Two-Variable Fragment. | Carsten Lutz, Ulrike Sattler, Frank Wolter |
| 2001 | IJCAI | Ontology Reasoning in the SHOQ(D) Description Logic. | Ian Horrocks, Ulrike Sattler |
| 2000 | AiML | The Complexity of Reasoning with Boolean Modal Logics. | Carsten Lutz, Ulrike Sattler |
| 2000 | CADE | Reasoning with Individuals for the Description Logic SHIQ. | Ian Horrocks, Ulrike Sattler, Stephan Tobies |
| 2000 | ECAI | Description Logics for the Representation of Aggregated Objects. | Ulrike Sattler |
| 2000 | LPAR | How to Decide Query Containment Under Constraints Using a Description Logic. | Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies |
| 1999 | LPAR | Practical Reasoning for Expressive Description Logics. | Ian Horrocks, Ulrike Sattler, Stephan Tobies |
| 1998 | ECAI | Description Logics with Concrete Domains and Aggregation. | Franz Baader, Ulrike Sattler |
| 1996 | ECAI | Description Logics with Symbolic Number Restrictions. | Franz Baader, Ulrike Sattler |
| 1996 | KI | A Concept Language Extended with Different Kinds of Transitive Roles. | Ulrike Sattler |
| 1996 | KR | Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. | Franz Baader, Ulrike Sattler |