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
DBLP profile ↗ORCID search ↗
×2
Christian Kindermann
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Large Language Model for OWL Proofs
    WWW 2026 ·
    Hui Yang
    DBLP profile ↗ORCID search ↗
  2. TransBox: EL++-closed Ontology Embedding
    WWW 2025 ·
    Hui Yang
    DBLP profile ↗ORCID search ↗
  3. Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)
    AAAI 2024 ·
    Christian Kindermann
    DBLP profile ↗ORCID search ↗