Ulrike Sattler

Ulrike Sattler
Nationality German
Known for Web Ontology Language (OWL)
Awards
Scientific career
Fields
Institutions
Thesis Technological Knowledge Representation Systems in a Chemical Engineering Application (1998)
Doctoral advisor Franz Baader[5]
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 [6] where she is director of postgraduate studies.[7]

Education

Sattler completed her PhD in 1998 under the supervision of Franz Baader[5] 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.[1]

Research

Sattler's research[4][8][9][10][11] focuses on logic to support knowledge representation including description logic,[12][13] 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)[14] and its use in bioinformatics and molecular biology.[15][16]

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

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.[18]

Awards

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

References

  1. 1 2 3 4 "Ulrike Sattler at the Academy of Europe". ae-info.org. Archived from the original on 2014-04-17.
  2. 1 2 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.
  3. ↑ http://iswc2008.semanticweb.org/ ISWC 2008, Karlsruhe
  4. 1 2 Ulrike Sattler publications indexed by Google Scholar
  5. 1 2 Ulrike Sattler at the Mathematics Genealogy Project
  6. ↑ "Prof Ulrike Sattler, research profile". University of Manchester. Archived from the original on 2014-04-16.
  7. ↑ "Uli Sattler homepage". University of Manchester. Archived from the original on 2014-12-14.
  8. ↑ List of publications from Microsoft Academic
  9. ↑ Ulrike Sattler at DBLP Bibliography Server Edit this at Wikidata
  10. ↑ Ulrike Sattler's publications indexed by the Scopus bibliographic database. (subscription required)
  11. ↑ Ulrike Sattler author profile page at the ACM Digital Library
  12. ↑ 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.
  13. ↑ Baader, F.; Sattler, U. (2001). "An Overview of Tableau Algorithms for Description Logics". Studia Logica. 69: 5. doi:10.1023/A:1013882326814.
  14. ↑ 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.
  15. ↑ 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.
  16. ↑ 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.
  17. ↑ "UK Government grants awarded to Ulrike Sattler". Research Councils UK. Archived from the original on 2014-08-08.
  18. ↑ "IJCAR Steering Committee". Archived from the original on 2013-10-04.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.