Personal profile


After finishing my PhD in 1998 at RWTH Aachen under the supervision of Franz Baader, I continued to work in Baader's research group in Aachen and, after 2002, in Dresden, where I completed my habilitation in 2003. In the same year, I started as a Senior Lecturer in the Information Management Group of the Computer Science Department at the University of Manchester, where I am currently a professor.

Research 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. Finally, I am interested in investigating a variety of non-standard logical reasoning problems related to ontology engineering, including module extraction and analysis, as well as explaining entailments to ontology engineers.

My group


I am always interested in talking to people who want to pursue a PhD in Description Logics, automated reasoning, or ontology engineering. Please check the School's information on postgraduate research degrees.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being

Education/Academic qualification

Habilitation, Description Logics for Ontologies, Technische Universitat Dresden

Award Date: 7 Jul 2003

Doctor of Science, Terminological Knowledge Representation Systems in a Process Engineering Application, Rheinisch-Westfalische Technische Hocsachule Aachen

Award Date: 29 May 1998

Areas of expertise

  • QA75 Electronic computers. Computer science
  • Logic
  • Automated Reasoning
  • Ontology Engineering
  • Description Logics

Research Beacons, Institutes and Platforms

  • Digital Futures


Dive into the research topics where Uli Sattler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or