User:Uli

From OWL
Jump to: navigation, search

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/).