Uli Sattler (original) (raw)

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.

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.

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.

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):

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

Alassaf, R., Schmidt, R. A. & Sattler, U., 2022, Advances in Modal Logic, AiML 2022. Fernandez-Duque, D., Palmigiano, A., Palmigiano, A. & Pinchinat, S. (eds.). College Publications, p. 37-57 21 p. (Advances in Modal Logic; vol. 14).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Kurdi, G., Leo, J., Matentzoglu, N., Parsia, B., Sattler, U., Forge, S., Donato, G., Dowling, W. & Gromann, D., 2021, In: Semantic Web. 12, 3, p. 449-465 17 p.
Research output: Contribution to journal › Article › peer-review

Zhao, H., Parsia, B. & Sattler, U., 12 May 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Vol. 12678. p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Sattler, U. (Recipient), Del Vescovo, C. (Recipient), Horridge, M. (Recipient), Schneider, T. (Recipient) & Klinov, P. (Recipient), 2011
Prize: Prize (including medals and awards)

Harris, D. (Organiser), Richards, L. (Organiser), Cowen, R. (Member of programme committee), Mohammad-Qureshi, S. (Member of programme committee), Boya, R. (Member of programme committee), Browning, P. (Member of programme committee), Clinch, S. (Member of programme committee), Cotter, S. (Member of programme committee), Polya, D. (Member of programme committee), Sattler, U. (Member of programme committee), Walton, C. (Member of programme committee), Da Conceicao Bispo, P. (Member of programme committee), Browne, A. L. (Member of programme committee), Lawson, C. (Member of programme committee) & Pampaka, M. (Member of programme committee)
19 Oct 2021
Activity: Participating in or organising event(s) › Organising a conference, workshop, exhibition, performance, inquiry, course etc › Research