PPaperPicks

Uli Sattler

3 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

WWW ×2AAAI ×1

Frequent coauthors

Hui Yang
×2
Jiaoyan Chen
×2
Christian Kindermann
×1
Anne-Marie George
×1
Bijan Parsia
×1

Papers

  1. Large Language Model for OWL Proofs
    WWW 2026 ·
    Hui Yang
    ,
    Jiaoyan Chen
    , Uli Sattler
  2. TransBox: EL++-closed Ontology Embedding
    WWW 2025 ·
    Hui Yang
    ,
    Jiaoyan Chen
    , Uli Sattler
  3. Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)
    AAAI 2024 ·
    Christian Kindermann
    ,
    Anne-Marie George
    ,
    Bijan Parsia
    , Uli Sattler