User:Uli

From OWL
Revision as of 13:42, 10 October 2007 by Uli (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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/).