| 2026 | WWW | Large Language Model for OWL Proofs. | Hui Yang, Jiaoyan Chen, Uli Sattler |
| 2025 | WWW | TransBox: | Hui Yang, Jiaoyan Chen, Uli Sattler |
| 2024 | AAAI | Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond). | Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler |
| 2022 | AiML | Saturation-Based Uniform Interpolation for Multi-Modal Logics. | Ruba Alassaf, Renate A. Schmidt, Uli Sattler |
| 2021 | ICMLA | Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball Concept Embeddings. | Mirantha Jayathilaka, Tingting Mu, Uli Sattler |
| 2021 | JELIA | ReAD: AD-Based Modular Ontology Classification. | Haoruo Zhao, Bijan Parsia, Uli Sattler |
| 2021 | KR | Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic K | Ruba Alassaf, Renate A. Schmidt, Uli Sattler |
| 2020 | ECAI | Visual-Semantic Embedding Model Informed by Structured Knowledge. | Mirantha Jayathilaka, Tingting Mu, Uli Sattler |
| 2018 | KR | Ontology Stratification Methods: A Comparative Study. | Ricardo Guimares, Uli Sattler, Renata Wassermann |
| 2014 | EKAW | Measuring Similarity in Ontologies: A New Family of Measures. | Tahani Alsubait, Bijan Parsia, Uli Sattler |
| 2014 | EKAW | Generating Multiple Choice Questions From Ontologies: How Far Can We Go? | Tahani Alsubait, Bijan Parsia, Uli Sattler |
| 2014 | ICCBR | Algorithm for Adapting Cases Represented in a Tractable Description Logic. | Liang Chang, Uli Sattler, Tianlong Gu |
| 2014 | KR | Predicting Performance of OWL Reasoners: Locally or Globally? | Viachaslau Sazonau, Uli Sattler, Gavin Brown |