Ulrike Sattler

Also known as Uli Sattler

Ulrike Sattler is a computer scientist who studies description logics as the logical underpinning of OWL and OWL 2 and works on automated deduction. She trains as a dressmaker in Bonn, studies computer science in Erlangen, earns a PhD at RWTH Aachen, and completes a habilitation at TU Dresden in 2003. She joins Manchester's Information Management group in 2003, becomes professor in 2007, coauthors OWL papers in 2008, and directs postgraduate teaching from 2010. Academia Europaea elects her in 2013, and she coauthors a 2026 study of LLM proof generation for OWL ontologies. As of October 2026, she is a professor in Manchester's Department of Computer Science.

Now at: University of Manchester
Born: 1966

Years link to their sources.

Timeline

1985–1994

Dressmaking and computer science

She trains as a dressmaker in Bonn from 1985 to 1988, then studies computer science at Friedrich-Alexander University Erlangen-Nürnberg from 1988 to 1994.
1998–2003

A PhD and Dresden habilitation

In 1998, she earns a PhD at RWTH Aachen for research on expressive description logics and automated reasoning. From 2002, she works as a senior researcher at TU Dresden's Institute for Theoretical Computer Science and completes a habilitation in Description Logics for Ontologies in 2003.
2003–2007

Manchester faculty promotions

In 2003, she joins Manchester's Information Management Group as a Senior Lecturer. She becomes a Reader in 2006 and a professor in 2007.
2008

OWL papers and an ISWC award

She coauthors “OWL 2: The next step for OWL” in 2008. Her paper “Laconic and Precise Justifications in OWL” wins the Best Paper Award at ISWC 2008.
Since 2010

Directing postgraduate teaching

Since 2010, she serves as Postgraduate Taught Director of Manchester's School of Computer Science and is responsible for its MSc programmes.
2013

Academia Europaea election

Academia Europaea elects her as an ordinary member of its Informatics section in 2013.
2026

Large Language Model for OWL Proofs

In 2026, she coauthors “Large Language Model for OWL Proofs,” which studies LLM proof generation for OWL ontologies through an automated dataset and evaluation framework.
As of October 2026

Professor at Manchester

As of October 2026, she is a professor in the Information Management group of the University of Manchester's Department of Computer Science. Her research covers description logics and automated deduction; she studies Description Logics as the logical underpinning of ontology languages such as OWL and OWL 2.