Ulrike Sattler

Ulrike Sattler
Nationality German
Fields
Institutions
Thesis Technological Knowledge Representation Systems in a Chemical Engineering Application (1998)
Doctoral advisor Franz Baader[3]
Doctoral students
  • Tahani Alsubait[4]
  • Samantha Bail[5][6]
  • Chiara Del Vescovo[7][8]
  • Rafael Gonçalves[9][10]
  • Matthew Horridge[11][12]
  • Pavel Klinov[13]
  • Peihong Ke[14]
  • Jared Leo
  • Nicolas Matentzoglu
  • Birte Glimm[15]
  • Viachaslau Sazonau
Known for Web Ontology Language (OWL)
Notable awards

Website

Ulrike M. Sattler is a Professor of Computer Science in the Information management group of the School of Computer Science at the University of Manchester [18] where she is Director of Postgraduate studies.[19]

Education

Sattler completed her PhD in 1998 under the supervision of Franz Baader[3] at RWTH Aachen University. She moved to the University of Manchester as Lecturer in 2002, was promoted Senior Lecturer in 2003, Reader in 2006 and then a Professor in 2007.[2]

Research

Sattler's research[1][20][21][22][23] focuses on logic to support knowledge representation including Description logic,[24][25] 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)[26] and its use in Bioinformatics and Molecular biology.[10][27]

Sattler's research has been partly funded by the Engineering and Physical Sciences Research Council.[28]

Academic Service

Sattler is an editor of the Journal of Logic and Computation, on the editorial board of the Journal of Automated Reasoning, and a Chair for various conferences including the International Joint Conference on Automated Reasoning.[29]

Awards

Sattler was elected a Member of the Academia Europaea (MAE) in 2014.[2] She was co-recipient of the best paper prize at the International Semantic Web Conference in 2008.[16]

References

  1. ↑ 1.0 1.1 Ulrike Sattler's publications indexed by Google Scholar, a free service provided by Google
  2. ↑ 2.0 2.1 2.2 2.3 "Ulrike Sattler at the Academy of Europe". ae-info.org. Archived from the original on 2014-04-17.
  3. ↑ 3.0 3.1 Ulrike Sattler at the Mathematics Genealogy Project
  4. ↑ doi:10.1007/978-3-319-13704-9_2
    This citation will be automatically completed in the next few minutes. You can jump the queue or expand by hand
  5. ↑ Bail, Samantha Patricia (2013). The Justificatory Structure of OWL Ontologies (PhD thesis). University of Manchester. OCLC 872687441.
  6. ↑ Bail, S.; Horridge, M.; Parsia, B.; Sattler, U. (2011). "The Justificatory Structure of the NCBO BioPortal Ontologies". The Semantic Web – ISWC 2011 (PDF). Lecture Notes in Computer Science 7031. p. 67. doi:10.1007/978-3-642-25073-6_5. ISBN 978-3-642-25072-9.
  7. ↑ Del Vescovo, Chiara (2011). The modular structure of an ontology : atomic decomposition and its applications (PhD thesis). University of Manchester. OCLC 855699180.
  8. ↑ Vescovo, C.; Parsia, B.; Sattler, U.; Schneider, T. (2011). "The Modular Structure of an Ontology: Atomic Decomposition and Module Count". Frontiers in Artificial Intelligence and Applications 230. doi:10.3233/978-1-60750-799-4-25. ISBN 978-1-60750-798-7.
  9. ↑ Goncalves, Joao Rafael Landeiro De sousa (2014). Impact analysis in description logic ontologies (PhD thesis). University of Manchester. OCLC 883436095.
  10. ↑ 10.0 10.1 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.
  11. ↑ Horridge, Matthew (2011). Justification Based Explanation in Ontologies (PhD thesis). University of Manchester. OCLC 840679574.
  12. ↑ Horridge, M.; Bail, S.; Parsia, B.; Sattler, U. (2011). "The Cognitive Complexity of OWL Justifications". The Semantic Web – ISWC 2011. Lecture Notes in Computer Science 7031. p. 241. doi:10.1007/978-3-642-25073-6_16. ISBN 978-3-642-25072-9.
  13. ↑ Klinov, Pavel (2011). Practical Reasoning in Probabilistic Description Logic (PhD thesis). University of Manchester. OCLC 768070439.
  14. ↑ Ke, Peihong (2011). Nonmonotonic reasoning with description logics (PhD thesis). University of Manchester.
  15. ↑ Glimm, Birte (2007). Querying description logic knowledge bases (PDF) (PhD thesis). University of Manchester.
  16. ↑ 16.0 16.1 Horridge, M.; Parsia, B.; Sattler, U. (2008). "Laconic and Precise Justifications in OWL". The Semantic Web - ISWC 2008. Lecture Notes in Computer Science 5318. p. 323. doi:10.1007/978-3-540-88564-1_21. ISBN 978-3-540-88563-4.
  17. ↑ http://iswc2008.semanticweb.org/ ISWC 2008, Karlsruhe
  18. ↑ "Prof Ulrike Sattler, research profile". University of Manchester. Archived from the original on 2014-04-16.
  19. ↑ "Uli Sattler homepage". University of Manchester. Archived from the original on 2014-12-14.
  20. ↑ List of publications from Microsoft Academic Search
  21. ↑ Ulrike Sattler's publications indexed by the DBLP Bibliography Server at the University of Trier
  22. ↑ Ulrike Sattler's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
  23. ↑ Ulrike Sattler from the ACM Portal
  24. ↑ Horrocks, I.; Sattler, U.; Tobies, S. (1999). "Practical Reasoning for Expressive Description Logics". Logic for Programming and Automated Reasoning. Lecture Notes in Computer Science 1705. p. 161. doi:10.1007/3-540-48242-3_11. ISBN 978-3-540-66492-5.
  25. ↑ Baader, F.; Sattler, U. (2001). "An Overview of Tableau Algorithms for Description Logics". Studia Logica 69: 5. doi:10.1023/A:1013882326814.
  26. ↑ 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.
  27. ↑ 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.
  28. ↑ "UK Government grants awarded to Ulrike Sattler". Research Councils UK. Archived from the original on 2014-08-08.
  29. ↑ "IJCAR Steering Committee". Archived from the original on 2013-10-04.