Ulrike M. Sattler MAE es profesora de informática en el grupo de gestión de la información del Departamento de informática de la Universidad de Manchester [5] [6] y profesora visitante en la Universidad de Oslo . [7]
Sattler completó su doctorado en 1998 bajo la supervisión de Franz Baader [4] en la Universidad RWTH Aachen en Alemania.
Sattler se trasladó a la Universidad de Manchester como profesor titular en 2003, fue ascendido a lector en 2006 y luego a profesor en 2007. [1] La investigación de Sattler [3] [8] [9] se centra en la lógica para respaldar la representación del conocimiento, incluida la lógica descriptiva. , [10] [11] Lógica dinámica y lógica modal . También está investigando los problemas de inferencia , la teoría de la complejidad y los procedimientos de decisión asociados con la representación del conocimiento. Esta investigación ha sido importante en el desarrollo de laWeb Ontology Language (OWL) [12] y su uso en bioinformática y biología molecular . [13] [14] [15]
La investigación de Sattler ha sido financiada por el Consejo de Investigación en Ingeniería y Ciencias Físicas (EPSRC). [16] Es coautora del libro de texto Introducción a la lógica descriptiva con Ian Horrocks , Franz Baader y Carsten Lutz. [7]
Sattler se desempeña como editor del Journal of Logic and Computation , en el comité editorial del Journal of Automated Reasoning y como presidente de varias conferencias, incluida la International Joint Conference on Automated Reasoning (IJCAR). [17]
Sattler fue elegida miembro de la Academia Europaea (MAE) en 2014. [1] Fue co-receptora con Bijan Parsia y Matthew Horridge del premio al mejor artículo en la International Semantic Web Conference (ISWC) en 2008 [18 ] [19] que posteriormente ganó el premio SWSA Diez años en 2018 por el documento de mayor impacto de los procedimientos de ISWC diez años antes. [2]