A photo of Uli

Homepage of Uli Sattler

Ski Sticker prettified by Sean Bechhofer

A blue ball I live in Manchester,
where I am a professor in the Information Management Group within the Department of Computer Science of the University of Manchester, a Deputy Head of Department, and a Senior Mentor.
My address is: Department of Computer Science (building 39 on this map), University of Manchester, Oxford Road, Manchester M13 9PL, UK
Office: Room 2.121
Voice (+44-161) 275-6176
Fax (+44-161) 275-6236
uli.sattler@manchester.ac.uk - please note that my very old email address sattler@cs.man.ac.uk no longer works and fails silently!

My calendar is available online.

A blue ball Scientific Interests
My general research interests are in logics for knowledge representation and automated deduction. More specifically, I am interested in Description, Modal, and Dynamic Logics, the corresponding inference problems, their complexity, and decision procedures for these problems.

Description Logics are a family of knowledge representation formalisms with several nice properties such as high expressive power, well-defined semantics, decidable inference problems, and practicable inference algorithms for these problems. I work on Description Logics as the logical underpinning of ontology languages such as OWL and OWL 2; their usage, for example, in molecular biology; practical inference algorithms for highly expressive Description Logics; and on the complexity of and inference algorithms for Description, Modal, and Dynamic Logics, using e.g., automata-based and tableau-based techniques.
Have a look at our OWL in Manchester web site, with a list of DL reasoners.

A blue ball Announcements and news:

A blue ball Publications and talks
An irregularly updated list of my publications is available online, as well as a shiny DBLP Publication List. Also, google scholar is so kind to maintain my citations.

A blue ball Teaching and Supervision
If you consider doing your Ph.D. in logic-based knowledge representation, ontologies, or Description or Modal Logics, and would like to do it within our great, cross-disciplinary IMG group and under my supervision, please have a look at the departmental web page for future Ph.D. students and let me know.

I teach, together with Andre Freitas and the friendly support of <oXygen/> XML editor, COMP60411 on modelling data on the Web. I also teach, with Stewart Blakeway, Aphrodite Galata , and Duncan Hull, COMP10120 First Year Team Project. I used to teach, together with Sean Bechhofer, COMP62342 on Ontology Engineering for the Semantic Web; and, together with Carole Goble, the Research Seminar COMP80122; material can be found here. Thomas Schneider and I gave an introductory course on Description Logics at ESSLLI 2012.

Currently, I am co-supervising the following PhD students: Yulia Rozanova, Ruba Alassaf, Jake Saunders, Biyun Yang. The following is a list of people with a PhD that I have had the great pleasure to co-supervise in the past: Lei Li, Birte Glimm, Matthew Horridge, Peihong Ke , Pavel Klinov, Chiara Del Vescovo, Samantha Bail, Rafael Goncalves, Nico Matentzoglu, Kody Moodley, Tahani Alsubait, Jared Leo, Viachaslau (Slava) Sazonau, Ghader Kurdi, Chris Kindermann, Mirantha Jayathilaka, Deborah Mendes Fereira, and Haoruo Zhao.

A blue ball Cooperations and Projects
Ian Horrocks and me are developing practicable inference algorithms for very expressive Description Logics. Some of our algorithms were implemented by Ian in his automated reasoner FaCT and they are being used in various modern DL reasoners.

In the EPSRC project Composing and decomposing ontologies: a logic-based approach, I have been working with Thomas Schneider, Ian Horrocks, Bijan Parsia, Dirk Walther, Frank Wolter, and (as a guest star) Carsten Lutz.

A blue ball Other Activities
I am an editor of the Logic for Ontology Engineering corner of the Journal of Logic and Computation, on the editorial board of the Journal of Automated Reasoning, was a PC co-chair of KR 2010, am a member of the OWLED steering committee, and the member of various PCs. Activities from previous years are stored elsewhere.

A blue ball Tutorials
I gave tutorials at the Reasoning Web Summer School 2007 and at the ACIA Summer School 2007. Carsten Lutz and I gave a course on Description Logics at ICCL Summer School 2005: Logic-based Knowledge Representation .

Ian Horrocks and I gave several tutorials: a tutorial on Description Logics at IJCAR 2001 (slides can be found here); a tutorial on Description Logics at ECAI2002; and an introductory course on Logical Foundations for the Semantic Web at ESSLLI2003.

Carsten Lutz and I gave an advanced course on Description Logics at ESSLLI2002, and an introductory course on Description Logics at ESSLLI2004 in Nancy.

Valid HTML 4.01! and Bobby WorldWide Approved AAA

Disclaimer and Privacy Statement and Copyright Notice.

Uli Sattler