Uli Sattler
Scholar

Uli Sattler

Google Scholar ID: uMI-tgsAAAAJ
Professor, IMG, Department of Computer Science, University of Manchester
Description LogicsOntology EngineeringAutomated Reasoning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
24,305
 
H-index
68
 
i10-index
177
 
Publications
20
 
Co-authors
33
list available
Contact
No contact links provided.
Publications
2 items
Large Language Model for OWL Proofs
2026
Cited
0
TransBox: EL++-closed Ontology Embedding
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
33 total
Ian Horrocks
Ian Horrocks
Professor of Computer Science, University of Oxford
Bijan Parsia
Bijan Parsia
Professor of Computer Science, University of Manchester
Co-author 3
Co-author 3
Franz Baader
Franz Baader
Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig
Carsten Lutz
Carsten Lutz
Professor of Computer Science, University of Leipzig
Bernardo Cuenca Grau
Bernardo Cuenca Grau
Professor of Computer Science, University of Oxford.
Matthew Horridge
Matthew Horridge
Stanford University
Co-author 8
Co-author 8