Warning:
This wiki has been archived and is now read-only.

User:Uli

From OWL
(Redirected from Uli Sattler)
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/).