Ulrike Sattler

Uli Sattler is a Professor in the Information Management Group within the Department of Computer Science at the University of Manchester. She focuses on logic-based knowledge representation, automated deduction, and ontology engineering.

• Address: Department of Computer Science, University of Manchester, Oxford Road, Manchester M13 9PL, UK
• Phone: (+44-161) 275-6176
• Email: uli.sattler@manchester.ac.uk

Research Interests

Her research centers on Description Logics, Modal Logics, and Dynamic Logics, with applications in:

• Ontology languages (e.g., OWL, OWL 2)
• Complexity of inference problems
• Decision procedures and tableau-based algorithms
• Knowledge graphs and semantic web technologies
• Molecular biology data modeling

Academic Roles

She is actively involved in:

• Coordinating the OWL in Manchester initiative
• Teaching courses on web data modeling and first-year team projects
• Co-supervising current and former PhD students
• Editorial roles (e.g., Journal of Logic and Computation)