Homepage of Uli Sattler
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.
I teach, together with Andre
Freitas and the
friendly support of <oXygen/> XML
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.
Schneider and I gave an introductory course on Description Logics at ESSLLI
Currently, I am co-supervising the following PhD students: Haoruo Zhao, Deborah Mendes Fereira, Mirantha Jayathilaka, 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, and Chris Kindermann.
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.
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.
Disclaimer and Privacy Statement and Copyright Notice.Uli Sattler