Ulrike Sattler

Ulrike Sattler MAE
Nationalitet	tysk
Känd för	Web Ontology Language (OWL)
Utmärkelser	Medlem av Academia Europaea (2014) SWSA Ten Year Award (2018)
Vetenskaplig karriär
Fält	Beskrivning Logik Ontologiteknik Automatiserat resonemang
institutioner	University of Manchester Universitetet i Oslo Dresdens tekniska universitet Rice University RWTH Aachen University
Avhandling	Teknologiska kunskapsrepresentationssystem i en kemiteknikapplikation (1998)
Doktorand rådgivare	Franz Baader
Hemsida	www .cs .man .ac .uk /~sattler www .manchester .ac .uk /research /ulrike .sattler

Ulrike M. Sattler MAE är professor i datavetenskap i informationshanteringsgruppen vid Institutionen för datavetenskap vid universitetet i Manchester och gästprofessor vid universitetet i Oslo .

Utbildning

Sattler disputerade 1998 under ledning av Franz Baader vid RWTH Aachen University i Tyskland .

Karriär och forskning

Sattler flyttade till University of Manchester som universitetslektor 2003, befordrades till läsare 2006 och sedan till professor 2007. Sattlers forskning fokuserar på logik för att stödja kunskapsrepresentation inklusive beskrivningslogik , dynamisk logik och modal logik . Hon undersöker också slutledningsproblem , komplexitetsteori och beslutsförfaranden förknippade med kunskapsrepresentation. Denna forskning har varit viktig i utvecklingen av Web Ontology Language (OWL) och dess användning inom bioinformatik och molekylärbiologi .

Sattlers forskning har finansierats av Engineering and Physical Sciences Research Council (EPSRC). Hon är medförfattare till läroboken An Introduction to Description Logic med Ian Horrocks , Franz Baader och Carsten Lutz.

Akademisk tjänst

Sattler fungerar som redaktör för Journal of Logic and Computation , på redaktionen för Journal of Automated Reasoning , och ordförande för olika konferenser inklusive International Joint Conference on Automated Reasoning (IJCAR).

Utmärkelser och utmärkelser

Sattler valdes till medlem av Academia Europaea (MAE) 2014. Hon mottog tillsammans med Bijan Parsia och Matthew Horridge priset för bästa papper vid International Semantic Web Conference (ISWC) 2008 som därefter vann SWSA Tioårsutmärkelse 2018 för det papper med högsta effekt från ISWC-förfarandet tio år tidigare.