Ulrike Sattler

Ulrike Sattler MAE
Nationality	German
Known for	Web Ontology Language (OWL)
Awards	Member of the Academia Europaea (2014) [1] SWSA Ten Year Award (2018) [2]
Scientific career
Fields	Description Logics Ontology Engineering Automated Reasoning [3]
Institutions	University of Manchester University of Oslo Dresden University of Technology Rice University [1] RWTH Aachen University
Thesis	Technological Knowledge Representation Systems in a Chemical Engineering Application  (1998)
Doctoral advisor	Franz Baader [4]
Website	www.cs.man.ac.uk/~sattler www.manchester.ac.uk/research/uli.sattler

Ulrike M. Sattler MAE is a professor of computer science in the information management group of the Department of Computer Science at the University of Manchester ^{[5] [6]} and a visiting professor at the University of Oslo. ^[7]

Education

Sattler completed her PhD in 1998 under the supervision of Franz Baader ^[4] at RWTH Aachen University in Germany.

Career and research

Sattler moved to the University of Manchester as senior lecturer in 2003, was promoted to reader in 2006 and then to professor in 2007. ^[1] Sattler's research ^{[3] [8] [9]} focuses on logic to support knowledge representation including description logic, ^{[10] [11]} Dynamic logic and Modal logic. She is also investigating the inference problems, complexity theory and decision procedures associated with knowledge representation. This research has been important in the development of the Web Ontology Language (OWL) ^[12] and its use in bioinformatics and molecular biology. ^{[13] [14] [15]}

Sattler's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC). ^[16] She is the co-author of the textbook An Introduction to Description Logic with Ian Horrocks, Franz Baader and Carsten Lutz. ^[7]

Academic service

Sattler serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge , as editor of the Journal of Logic and Computation , and on the editorial board of the Journal of Automated Reasoning . Moreover, she has been the chair for various conferences including the International Joint Conference on Automated Reasoning (IJCAR). ^[17]

Awards and honours

Sattler was elected a member of the Academia Europaea (MAE) in 2014. ^[1] She was co-recipient with Bijan Parsia  [ Wikidata ] and Matthew Horridge of the best paper prize at the International Semantic Web Conference (ISWC) in 2008 ^{[18] [19]} which subsequently won the SWSA Ten Year award  [ Wikidata ] in 2018 for the highest impact paper from the ISWC proceedings ten years prior. ^[2]

References

1. "Ulrike Sattler at the Academy of Europe". ae-info.org. Archived from the original on 2014-04-17.
2. "SWSA Ten-Year Award". Swsa.semanticweb.org. Retrieved 26 November 2018.
3. Ulrike Sattler publications indexed by Google Scholar
4. Ulrike Sattler at the Mathematics Genealogy Project
5. "Prof Ulrike Sattler, research profile". University of Manchester. Archived from the original on 2014-04-16.
6. "Uli Sattler homepage". University of Manchester. Archived from the original on 2014-12-14.
7. Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli (2017). An Introduction to Description Logic. Cambridge: Cambridge University Press. doi:10.1017/9781139025355. ISBN   9781139025355. OCLC   990330256.
8. Ulrike Sattler at DBLP Bibliography Server
9. Ulrike Sattler publications indexed by the Scopus bibliographic database. (subscription required)
10. Horrocks, I.; Sattler, U.; Tobies, S. (1999). "Practical Reasoning for Expressive Description Logics". Logic for Programming and Automated Reasoning. Lecture Notes in Computer Science. Vol. 1705. p. 161. arXiv: cs/0005014 . doi:10.1007/3-540-48242-3_11. ISBN   978-3-540-66492-5. S2CID   1599841.
11. Baader, F.; Sattler, U. (2001). "An Overview of Tableau Algorithms for Description Logics". Studia Logica. 69: 5–40. doi:10.1023/A:1013882326814. S2CID   2707416.
12. Grau, B. C.; Horrocks, I.; Motik, B.; Parsia, B.; Patel-Schneider, P. F.; Sattler, U. (2008). "OWL 2: The next step for OWL" (PDF). Web Semantics: Science, Services and Agents on the World Wide Web. 6 (4): 309–322. doi:10.1016/j.websem.2008.05.001.
13. Goncalves, R. S.; Parsia, B.; Sattler, U. (2011). "Analysing the evolution of the NCI Thesaurus". 2011 24th International Symposium on Computer-Based Medical Systems (CBMS). p. 1. doi:10.1109/CBMS.2011.5999163. ISBN   978-1-4577-1189-3. S2CID   24617819.
14. Horridge, Matthew (2011). Justification based explanation in ontologies. Manchester.ac.uk (PhD thesis). University of Manchester. OCLC   840679574. EThOS   uk.bl.ethos.553297.
15. Aranguren, M.; Bechhofer, S.; Lord, P.; Sattler, U.; Stevens, R. (2007). "Understanding and using the meaning of statements in a bio-ontology: Recasting the Gene Ontology in OWL". BMC Bioinformatics. 8: 57. doi: 10.1186/1471-2105-8-57 . PMC   1819394 . PMID   17311682.
16. "UK Government grants awarded to Ulrike Sattler". Research Councils UK. Archived from the original on 2014-08-08.
17. "IJCAR Steering Committee". Archived from the original on 2013-10-04.
18. Horridge, M.; Parsia, B.; Sattler, U. (2008). "Laconic and Precise Justifications in OWL". The Semantic Web - ISWC 2008. Lecture Notes in Computer Science. Vol. 5318. pp. 323–338. doi:10.1007/978-3-540-88564-1_21. ISBN   978-3-540-88563-4.
19. "The 7th International Semantic Web Conference (ISWC 2008)". Iswc2008.semanticweb.org. Retrieved 26 November 2018.