Warning:
This wiki has been archived and is now read-only.
User:Uli
From OWL
(Redirected from Uli Sattler)
Uli Sattler
I am a Professor in the School of Computer Science in the University of Manchester, and have been working on Description Logics since 1994. I am interested in Description (and related) Logics, the corresponding inference problems, their complexity, and decision procedures for these problems. Together with Ian, I have worked on the S-familiy of DLs (such as SHIF, SHOIN, or SROIQ).
You can find more information, incl. contact details, on my homepage (http://www.cs.man.ac.uk/~sattler/).